let has_var v = has_vars [v]