let fresh_named_var name t =
    incr var_counter;
    (name, Some !var_counter, t,None)