let mk_fresh =
  let name = Name.of_string "bv" in
  fun n ->
    assert (n >= 0);
    if n = 0 then 
      mk_eps
    else 
      Term.mk_fresh name None None