added context sensitive writing and verification for CallInfo.extra; added test cases for not yet started and dead coroutines