6.3.3 C*$* assert do (concurrent call)

The C*$* assert do (concurrent call) assertion tells KAP to execute both the C*$* assert do (concurrent) and the C*$* assert concurrent call assertions in the immediately following loop.