If one branch has infinite loop it's not enough to remove this branch.
Removing it may break previous optimizations which were made on
assumption that the branch with infinite loop doesn't dominate other blocks.
First commit removes unnecessary code left from the times when node_is_dead removed dead ifs.