let create_schema_term_from_term (term: term) : term =
  match term with
    | Const _ ->
        (* consts are most general *)
        term

    | Func func ->
        create_schema_term func.symbol

    | Var _ ->
        failwith "Context.create_schema"