fixed TheoryBool rewriter bug