@Override public TraceNode caseALetDefBindingTraceDefinition( ALetDefBindingTraceDefinition term, Context ctxt) throws AnalysisException { // return ALetDefBindingTraceDefinitionAssistantInterpreter.expand(term, ctxt); Context evalContext = new Context(af, term.getLocation(), "TRACE", ctxt); for (PDefinition d : term.getLocalDefs()) { evalContext.putList(af.createPDefinitionAssistant().getNamedValues(d, evalContext)); } TraceNode node = term.getBody().apply(THIS, evalContext); node.addVariables(new TraceVariableList(evalContext, term.getLocalDefs())); return node; }