public BinaryDecisionDiagram relativeProductTo(
BinaryDecisionDiagram transitions, BinaryDecisionDiagram existsFromStateAndCharacter) {
int oldId = id;
this.id = bdd.relProd(id, transitions.id, existsFromStateAndCharacter.id);
discard(oldId);
return this;
}
