Stav dette: Оптимизация критического пути на предикатном представлении программы