Introduce `fail-uninstrumented' flag