I stumbled once on a case where a computed value was popped from the stack as unused, with no obvious reason. I eventually realized that's because I wanted to pass that value as an argument to a method, but forgot.

It should be straightforward to verify that the number of arguments passed to a method matches the number of parameters. That would prevent the issue I stumbled upon.