Defend against potential null-deref in coverage reporting  (#402)
Defend against potential null-deref in coverage reporting  (#402)

* Defend against potential null-deref in coverage reporting when
a machine transitions to null state (i.e., it is about to faili or halt)

* minor edits

p-org/PSharp