Bug Fix in previous commit
Introduce `fail-uninstrumented' flag