let get_bound_vars (subst: subst) (vars: var list) : var list =
  get_bound_vars' subst vars []