#KJ-92 Document java method invocation logic in the semantics. Clarified the distinction between parameter and argument and renamed the variables accordingly. http://stackoverflow.com/questions/1788923/parameter-vs-argument