ยง SSA as linear typed language

       A
       ...

   B        C
[1/2A]     [1/2A]
       D
       1A