let mk_fresh =
  let name = Name.of_string "a"
  and d = Some(Dom.Int) in
    fun () -> Term.mk_fresh name None d