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> >(); }