Bug fix for forall loops where the slot allocated for the iterator wasn't being remembered.
Bug fix for forall loops where the slot allocated for the iterator wasn't being remembered.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler