let dereference' (subst: hash_subst) (term: term) : term =
  match dereference' subst term with
    | None ->
        term

    | Some term ->
        term