}
listOfConstructedTripel.add(generate);
// remove old construct
for(final BasicOperator father: new HashSet<BasicOperator>(construct.getPrecedingOperators())){
father.removeSucceedingOperator(construct);
construct.removePrecedingOperator(father);
}
}
} else if(bo instanceof ConstructPredicate){
final ConstructPredicate cp = (ConstructPredicate) bo;
boolean toDelete = true;