Tests that we eliminate never taken loops.