// now add a not operator below subOperator and notOperator!
// Luckily, the semantics of the not operator is exactly the same as of the minus operator!
final Minus minus = new Minus(false);
subOperator.addSucceedingOperator(minus, 0);
notOperator.addSucceedingOperator(minus, 1);
minus.addPrecedingOperator(subOperator);
minus.addPrecedingOperator(notOperator);
subOperator = minus;
}
// 1. Construct erstellen