Assertion: preemption | /r/HasProperty | done at the function prolog
Facets:
Source sentences:
text: Then, the preemption is done at the function prolog when the goroutine’s stack is increasing.