383384385386387388389390391392393394
return op ; } if ( elt instanceof ElementBind ) { ElementBind bind = (ElementBind)elt ; Op op = OpExtend.extend(current, bind.getVar(), bind.getExpr()) ; return op ; } if ( elt instanceof ElementExists ) {