Fixed by rev#77602 Since the debugger supports "from invariant variant until loop end" order, we force the feature flat view to display this order, even if the loop was declared as "from invariant until loop variant end" Later, the debugger should fully support both syntax, but at least, now the display and execution cursor are coherant during debugging.