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"