Function awaitThenResumeOrSuspend

Every (await, p, q) is followed by either (resume, p, q) or (suspend, p) with no intervening events for p.