-FieldRefInfo structures added to constant pool
methods added to program.class to generate/get necessary data in/from cp
for print-invocation
reference type added to methods' local variable space; method
"addVariablesToLocalVariableSpace" expanded for the use of arrays in tac
refactoring