if ( e instanceof E_OneOf )
{
// ?x IN (a,b) ===> (?x == a) || (?x == b)
// ?x IN () ===> false
E_OneOf exprOneOf = (E_OneOf)e ;
Expr x = exprOneOf.getLHS() ;
Expr disjunction = null ;
// if ?x IN () then it's false regardless.
for ( Expr sub : exprOneOf.getRHS() )
{
Expr e2 = new E_Equals(x, sub) ;
if ( disjunction == null )
disjunction = e2 ;
else