if the following are true:

• Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
• Function Variables Map at time t = [ ]
• Parameters List at time t = [ base_param, other_base_params ]
• Argument Values at time t = [ Python super reference pi class_name, other_vals ]

then Function Variables Map at time (t + 1) = result of storing (Python reference pi) at key: base_param in map: (Function Variables Map at time t)