Annotations: don't crash if ModuleExecutionDetector is not enabled

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Annotations: api to retrive the speculative status of a state

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>