Fixed bug in solver when result of simplification changes from a binary operator.