Там медленнее всего процедура ISCUC, которая инкрементирует кумулятивные частоты ВСЕХ литералов, начиная от текущего. Может, есть какой-то другой метод быстрее.