let add_depend_var ids x = add_depend_tau ids (tau_of_var x)