OBDD.Make

constant

unit

variable