High-level optimizer operating on lexical tree SSA IR