SCLConstant functionConstant = new SCLConstant(context.createName(), closure.getType());
context.addConstant(functionConstant);
oldTargets.put(closure, (BoundVar)closure.getTarget());
SCLConstant functionConstant = new SCLConstant(context.createName(), closure.getType());
context.addConstant(functionConstant);
oldTargets.put(closure, (BoundVar)closure.getTarget());