Instruction.statesOut() simplified.
minor refactoring.
In ConnectionGraph.addField, simply return if origin object is the
global object.
In ObjectNodes.getFieldOf(), if origin is the global object, then the
global object is returned.
minor pretty printing.
In attribute definitions, procedural bodies replaced by assignment
notation.
minor pretty printing.
Use of assignment notation for attribute definitions.