tests/sav/base_control_flow2.sav

   1 base_control_flow2.nit:21,1--25,3: Warning: use 'loop' instead of 'while true do'.
   2 base_control_flow2.nit:39,1--43,3: Warning: use 'loop' instead of 'while true do'.
   3 base_control_flow2.nit:47,2--51,4: Warning: use 'loop' instead of 'while true do'.
   4 base_control_flow2.nit:45,1--55,3: Warning: use 'loop' instead of 'while true do'.