Solved the automatic Failure at start
formula_of_preformula missed its argument, so the "failwith" was directly
evaluated