public RestrictToTrace(Program p, InsertionTrans t)
{
inp = p;
usedNames = new Dictionary <string, int>();
nameToImpl = BoogieUtil.nameImplMapping(inp);
nameToProc = BoogieUtil.nameProcMapping(inp);
calledProcsNoImpl = new HashSet <string>();
output = new Program();
tinfo = t;
newFixedContextProcs = new HashSet <int>();
addRaiseExceptionProcDecl = false;
concretizeConstantToCall = new Dictionary <string, int>();
uvalueToConstants = new Dictionary <string, HashSet <Constant> >();
}
