Nachteile der funktionellen Zwischenform

Ich schreibe ein Optimierungsprogramm für eine Sprache, die JavaScript ähnelt, und muss eine Zwischencodedarstellung auswählen. Die naheliegende / typische Wahl heutzutage ist Static Single Assignment (SSA). In Modern Compiler Implementation in C wird jedoch auch die funktionale Zwischenform...