Propagation of escape states in summary graph added. As a
prerequisite, in edges object nodes replaced by their IDs.
IDs of internal object nodes now contain (a) class name, (b) method
name, (c) method signature index, and (d) position of new statement.
Comment added.
FieldNodes replaced by direct edge of type Triple from origin via
fieldName to destination.