code: def _is_covered(self, global_state: GlobalState) -> bool:
          
          bytecode = global_state.environment.code.bytecode
          index = global_state.mstate.pc
          return self.instruction_coverage_plugin.is_instruction_covered(bytecode, index)
docs: Checks if the instruction for the given global state is already covered