Fix error in break_continue test
The break_continue
test was causing a HighFailure on Alt-Ergo 2.3.0. I wasn't able to reproduce locally but I found an error in the test code so I fixed it and reproved it.
I created the session locally, does this matter?
cc @marche
Edited by Xavier Denis