Данная библиотека - модуль программы, регистрирующий прохождение ею ключевых точек и текущие значения ее переменных (трассу). Программа частично восстанавливает логику переходов программы (генерируя алгоритмические и вероятностные модели) и строит функциональные модели времени ее исполнения и регрессионные полиномиальные модели данных. Используются вероятностные подходы, алгоритмы по типу Кора и метод группового учета аргументов. Генерируются отчуждаемые модели в формате DLL. Программа полезна для генерации временных моделей, позволяющих определить, оправданно ли распараллеливание, а также для "угадывания" на лету логики и вычислений сторонних модулей с закрытым кодом.