Define simplify/spill steps and experiment with WHILE