public PersistentCBAProgram(Program p, string main, int bound) : base(p)
{
mainProcName = main;
contextBound = bound;
mode = ConcurrencyMode.AnyInterleaving;
// allVarsLazy = null;
allVarsLazy = VarSet.GetAllVars(p);
}
public PersistentCBAProgram(Program p, string main, int bound, ConcurrencyMode mode)
: base(p)
{
mainProcName = main;
contextBound = bound;
this.mode = mode;
// allVarsLazy = null;
allVarsLazy = VarSet.GetAllVars(p);
}