ocamlopt compilation, experimental code was introduced but not active
box, dia formulas count
in the formula syntax, T and F are removed