Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-ground ITEs also.