Minor improvement to ForIndex template
Updated test results related to generation of the ForAll statement
Changed template for the ForAll statement so that this VDM constructs is generated as a for loop in Java rather than a while loop
Updated test results related to generation of the 'let be st' statement and sequence comprehensions since the generated code will be using a for loop instead of a while loop
Added Java generation of a for loop from the OO AST. This type of for loop does not exist in VDM but will be used for generating for instance sequence comprehensions and the 'let be st' statement when these constructs are transformed into the abstract syntax of the OO AST
Changed generation of the 'let be st' statement and sequence comprehensions to use a for loop instead of a while loop