OBDD.Make
constant
unit
variable
false
true