Re-assignment of method parameters

[bezirg]

Example code:

module Test;
class C {
  Unit m(Int x) {
    x=x+1;
  }
}

Not a big problem, because in general it is considered bad practice; even in certain OO languages (OCaml,Scala) it is disallowed.

It could possibly be fixed by generating extra local variables on the method body, but it is redundant when it is not needed, and makes generation of distributed method calls easier.