Case-split 'check' blocks into a new 'await' type of block which performs the deferred repeating test; have 'check' call only once