Prevent invariant slice from using phi nodes with back edges.