Changes

Summary

1. Fix issue with for loop transformation (commit: 9ab2b34) (details)

Commit 9ab2b34a192a06c7bdab74553492fcab4c3db78e by Peter W. V. Tran-Jørgensen Fix issue with for loop transformation (commit: 9ab2b34)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)