pre.removeSucceedingOperator(generate);
for (int x = 0; x < succs.size(); x++) {
pre.addSucceedingOperator(succs.get(x));
succ = succs.get(x).getOperator();
succ.removePrecedingOperator(pat);
succ.addPrecedingOperator(pre);
}
}
}
// TriplePattern can have more predecessors then Generate..