let mk_fresh =
  let name = Name.of_string "t" in
    fun () -> Term.mk_fresh name None None