let declare x _ =
         Formula.Function( [] , D.tau_of_logic_type x.lv_type )