if Expression Stack at time t = [ [ obj_name.method_name(args), ys ], rest ], then Expression Stack at time (t + 1) = [ args, [ [ obj_name.method_name(args), ys ], rest ] ]