text: (CMR::FUNCTION-DEPS)
  (CMR::FUNCTION-DEPS-LST)
  (CMR::COLLECT-TOPOSORT-FUNCTION-DEPS)
  (CMR::FORMULA-CHECK-TESTS)
  (CMR::DEF-FORMULA-CHECKER-FN)
  (CMR::FORMULA-CHECKS-LEMMAS)
  (CMR::DEF-FORMULA-CHECKER-LEMMAS-FN)
  (CMR::FORMALS-SUBSUBSTS)
  (CMR::DEF-FORMULA-CHECK-DEFINITION-THM-FN-AUX)
  (CMR::DEF-FORMULA-CHECK-DEFINITION-THM-FN)
  (CMR::DEF-FORMULA-CHECKS-DEFINITION-THM-LIST-FN)
  (CMR::FILTER-DEFINED-FUNCTIONS)
  (CMR::DEF-FORMULA-CHECKS-FN)
  