private Op compileElementNotExists(Op current, ElementNotExists elt2)
{
Op op = compile(elt2.getElement()) ; // "compile", not "compileElement" -- do simpliifcation
Expr expr = new E_Exists(elt2, op) ;
expr = new E_LogicalNot(expr) ;
return OpFilter.filter(expr, current) ;
}