Currently test/Simplify would not check for 0 before trying to do
constant folding, which is quite bad since it simply crashes the
program.

The fix is to simply avoid evaluating the expression if there is a
division by zero.