SSA Exploration - When does the "SSA theorem" hold?
Play with the applet to discover instances (there are 3) when the "SSA theorem" actually works. Clearly describe the conditions.
Try to formulate an SSA theorem (or theorems) that will surely work and could be proven.