Lines Matching refs:is_system_lemma
1784 if (is_system_lemma(id_lemma)) {1820 if (is_system_lemma(id_lemma)) {
