Von to ani ten kompilator udelat z principu poradne nemuze.
Uloha rozhodnuti zda dva programy delaji totez je algoritmicky neresitelna. Optimalizace je nahrazovani jednoho programu jinym co dela totez. Tudiz ten kompilator nemuze optimalizovat poradne, pouze castecne.