@Override public void caseAExplicitFunctionDefinition( AExplicitFunctionDefinition node, Environment question) throws AnalysisException { if (node.getPrecondition() != null) { node.setPredef(af.createAExplicitFunctionDefinitionAssistant().getPreDefinition(node)); // PDefinitionAssistantTC.markUsed(d.getPredef());//ORIGINAL CODE af.getUsedMarker().caseAExplicitFunctionDefinition(node.getPredef()); } else { node.setPredef(null); } if (node.getPostcondition() != null) { node.setPostdef(af.createAExplicitFunctionDefinitionAssistant().getPostDefinition(node)); // PDefinitionAssistantTC.markUsed(d.getPostdef());//ORIGINAL CODE af.getUsedMarker().caseAExplicitFunctionDefinition(node.getPostdef()); } else { node.setPostdef(null); } }