Make generated dot graphs specify that all function nodes in a thread should
have the same rank.
Remove erroneous "TODO".
Use the Node class to record information about generated graph nodes (currently
only the identifier), and refer to Node objects in pointers and when generating
Values, rather than having numerous copies of the identifier string.
Resolve pointers that reference Values that have already been laid out.