strip down while-loops with constant condition