Кто здесь эксперт в сканировании с помощью TripScan?
Я недавно начал изучать квантовые языки и захотелось мне попробовать TripScan TS GL для сканирования состояний. У меня есть парочка проверенных передаточных функций, но при попытке применить их к новому классу я нахожу, что результаты не соответствуют ожиданиям. Возможно, я что-то упускаю из виду? Нуждаюсь в навигации, а не в codependence.