Added functionality to fetch the approximated (VDM node) location of an IR node.

Now The JavaCodeGenMain also outputs this location for convenience.