#KJ-92 Document java method invocation logic in the semantics. Finished rule variable renaming. The task is finished.