Version max = VersionRange.INFINITE_VERSION;
boolean openFloor = false;
boolean openCeiling = false;
if (expr instanceof Not)
{
Not n = (Not) expr;
SimpleTerm t = (SimpleTerm) n.getEx();
if (t.getOp() == Ops.EQ)
{
throw new NumberFormatException(
"Unexpected point version in negated expression " + expr);
}