public boolean isZero() { return id == bdd.getZero(); }
public static BinaryDecisionDiagram nothing(BDD bdd) { return new BinaryDecisionDiagram(bdd, bdd.getZero()); }