Added four tests to exercise generation of pattern use in the for all statement
Updated generation of the for all statement to work for other patterns than the identifier pattern
Added another test to exercise generation of the forall statement where the pattern is an int pattern