test_name 	pretty-loop-invariant
test_description A loop using an invariant does not pretty print correctly and the invariant keyword is stuck to the last instruction of the `from' part instead of being on a new line.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

preference	pretty_printer.line_processing wrap
preference	pretty_printer.loop_expression_style keep
prettify	test.e prettify_output_1
compile_result ok
compare		prettify_output_1 output

test_end