keeping track of current object propositions for a method in Gamma. Next need to create ObjPropString when we are in visitObjectProposition