Next steps:
- Ensure annotateTypes sets receiver expression types in statement contexts before compileStatement type checks.
- Verify global variable initialization code path and constant indices with VM trace.
- Add unit test to execute a minimal class with one setter and call via variable and new-expression receivers.
- Once fixed, move method_calls back to Tests/rea and update expected outputs.
Tracking: this branch fix/rea-method-calls-runtime.