make DefaultCoverageInstructionEventHandler thread safe - not effective approach