private void checkNotSatisfiable(RexNode e) {
   assertFalse(SubstitutionVisitor.mayBeSatisfiable(e));
   final RexNode simple = SubstitutionVisitor.simplify(rexBuilder, e);
   assertFalse(RexLiteral.booleanValue(simple));
 }