; Verify that the outer dimension doesnt't carry reduction dependences ...