prospectiveMethodTable.put(defN.getTargetSymbol(), defN);
log.debug("Method: {}", defN.getTargetSymbol());
}
// Normalise the tree.
normaliser.visitTree(translatedTree);
prospectiveRootNodes = prospectiveRootNodes.prepend(translatedTree);
environMap.put(translatedTree, env.fst);
}