[michaelmior]

> SSA (Single State Assignment Form)

Is this something different from static single assignment? I'm assuming not, but I've never heard SSA expanded in this form.

[UniQP]

You are right, this should be static single assignment.