118119120121122123124125126127128
if ( exprNotOneOf.getRHS().size() == 0 ) exprList2.add(TRUE) ; else { for ( Expr sub : exprNotOneOf.getRHS() ) exprList2.add(new E_NotEquals(x, sub)) ; } continue ; } exprList2.add(e) ;