ref: Add Static Single Assignment for Decompilation reference.