Обнаружение циклических взаимодействий при кормлении без применения правил замены XFST к лексике

Question

Следующие два правила замены XFST представляют собой взаимодействие циклической подачи, где конечный результат включает исходную форму, потому что первое правило вводится во вторую, а второе передается в первую. Например, первое правило (необязательно) превратится в, а второе правило (необязательно) превратится в cat обратно в bat.

      c (<-) b ;
b (<-) c ;

Конечно, можно применить правила к лексикону, а затем сравнить с исходным лексиконом, но это очень неэффективно. У меня уже есть способ обнаруживать такие циклические кормовые взаимодействия, включающие два или более правил (путем чтения исходных файлов с помощью python), но он не чувствителен к условной замене, такой как c (<-) b || _ x.

Можно ли определить, является ли набор правил циклическим, используя HFST, без применения правил к лексикону?