Added specification test for 'for index' statement
Added functionality for generating temporary variables names used in the generated Java code
Minor stuff: Code refactoring
Added generation of 'for index' statement