if the following are true:

• Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
• Value Stack at time t = [ evaluated, stack ]
• method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
• Parameters List at time t = None

then Function Variables Map at time (t + 1) = [ ]