TWEAK: Regular phi control flow doesn't apply when unwinding.
Added test for if-then-else and return interaction
Updated package with bug fixes