Fixed redundant PHI's removal.
Tested SSA form for while and nested while loops. Seems to be working.