InvokeInstructions traversed more completely.
escape state for field nodes added.
return type added to method invocations.
escape state added to field node (in usage).