Today we use SP to pick up return PC.
We have a common way to get return PC for different frames types.

The interpreter frame is both over and under the callers real SP, which creates a overlap.
The logical frame is top of expression stack to the beginning of the arguments which is on callers expression stack.

If caller SP can be moved to top of it's expression after the call we have no overlap.