Condition.CuddMTBDD
type id = int
type var = int
type 'a t =
| TerminalNone
| Terminal of id * 'a
| Ite of id * ConditionCudd.t * 'a t * 'a t