#KJ-92 Document java method invocation logic in the semantics. Documented up to [Invoke-Method-Instance-On-Class]. We need to simplify the semantics further in order to have it more in sync with JLS. This will also lead to more simplicity.