if the following are true:

• Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
• value at obj_name in map (Variables Map at time t) = Python reference index
• the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
• method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
• Parameters List at time t = None
• Value Stack at time t = [ values, v_stack ]

then Parameters List at time (t + 1) = params