Static single assignment (SSA) form is a popular intermediate representation that
helps implement useful static analyses, including global value numbering (GVN), sparse
dataflow analyses, or SMT-based abstract interpretation or model checking. However,
...