• expression state at time t = "call_build_args"
• Parameters List at time t = [ ]
• the expression at time t = obj_name.method_name(args)
• 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 ]
• line number of method method_name of class class_name in (Class Map at time t) = line

then Control Map at time (t + 1) = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", method_name)), [ ] ] ]