#KJ-92 Document java method invocation logic in the semantics. Finished documentation. We still have to chose consistent names for all rule variables and to generate latex.