Boolean.Assert
val (=) : var -> var -> unit
val is_true : var -> unit
val any : var list -> unit
val all : var list -> unit
val exactly_one : var list -> unit