7:40:25beach::notify karlosz In SFA, if you propagate only when the left-hand side of the assignment has a single defining occurrence, then you get the same result as if you use SSA.
7:40:25Colleenbeach: Got it. I'll let karlosz know as soon as possible.