6.2.4 C*$* assert [no]interchange

The C*$* assert interchange assertion enables loop interchanging for the loop immediately following.