@Override public PExp getContextNode(PExp stitch) { if (!exp.getLocalDefs().isEmpty()) { ALetDefExp letDefExp = new ALetDefExp(); letDefExp.setLocalDefs(exp.clone().getLocalDefs()); letDefExp.setExpression(stitch); return letDefExp; } else { return stitch; } }