Draft for the resolution of AST nodes: needed to get the Javadoc.