let normalize_clause (clause: Term.clause) : Term.clause  =
  apply_to_clause empty clause 0