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 Argument Values at time (t + 1) = other_vals