let request_universal_term (term: term) : term =
  let mapping =
    request_universal_term' term []
  in
    match mapping with
      | [] ->
          (* no parametric variables in term *)
          term

      | _ ->
          let mapping =
            List.map
              (fun (var, term) ->
                request_var var, term
              )
              mapping
          in
            replace_terms_in_term term mapping