_documentation.txt

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

попробовать unsafe оптимизации
надо понять конкретный список идей, которые требуют проверки

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------


тест на цикл
iс <- ia <- ib <- ic
             |
             \/
             ic

где ia - условный биндинг rc => false
надо всё настроить так, чтобы условный находился первым в цепочке ic (помешает шуффл, подумать как разрулить)
тест должен показывать ошибку компиляции, но щяс он не покажет её в таких условиях
так как условный оборвет поиск цепочки
можно будет починить вставкой try-catch внутрь рекурсивного вызова в CheckForCyclesInternal

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------