[Fulminate] Missing instrumentation under non-loop labels

[rbanerjee20]

Found while investigating #452

Potential solution by returning some spec from here in extract.ml instead of None. Most likely relies on similar plumbing work as is needed for solving #452 .