Since then, the SCEV pointer handling as been improved, so the assertion should now hold. This reverts commit b96114c1, relanding the assertion from commit 141e845d.