#KJ-88 Cleanup the execution logic of method invocation.
- Eliminated stmtAndExp from method invocation elaborated form.
- Added a new test related to this case
- Refactored a huge deal of method invocation runtime. Exposed some opportunities for simplification.