if the following are true:

• Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
• Value Stack at time t = [ values, [ next_level, other_levels ] ]
• reverse of values = [ Python super reference pi class_name, other_vals ]
• Class Map at time t = cds
• value at "bases" in map (value at class_name in map cds) = base_classes
• definition of method method_name in base classes base_classes in (Class Map at time t) = method_map
• value at "params" in map method_map = [ base_param, other_base_params ]
• Parameters List at time t = None

then Value Stack at time (t + 1) = [ next_level, other_levels ]