SE547: BDDs: Implementing BDDs [14/22]

How can we implement the ite method?

  interface BoolPred {
    BoolPred ite (BoolPred p, BoolPred q); // this -> p, q
    ...
    static final BoolPred T = ...;
    static final BoolPred F = ...;
  }