Utility attributes describing a method's arg and return types.
Static field INITIAL_GRAPH removed.
State constructor modified such that a connection graph can be passed
in.
Circular definition of Method.methodSummary() now uses the method's
initial connection graph as the bottom element.
Method.createState() now uses the method's initial connection graph.
EmptyReturnObjectSet added to ConnectionGraph.initialCG()