precFilter.addSucceedingOperator(new OperatorIDTuple(oid
.getOperator(), oid.getId()));
}
}
} else {
filter.visit(new SimpleOperatorGraphVisitor() {
boolean ignore = false;
public Object visit(final BasicOperator basicOperator) {
if (ignore || (basicOperator instanceof PatternMatcher)
|| (basicOperator instanceof Union))