Transformation of read and write accesses to local variables and method parameters fully implemented and tested
Local variable declarations are now allowed in model functions; compiler no longer prints duplicated warnings