let lemma_root =
  create_symbol Predicate "__lm_regr_root__" "__lm_regr_root__" 0