Feature request: mark routine labels and procedures as coverable

As per title, would it be possible to mark Labels and Procedure blocks in routines as coverable? Similar to method coverage for classes. Even better if the results could be summarised to show that routine X has 5 labels, of which, only 2 have tests. I dont know if this would be possible?

Currently this doesn't happen, see example below (tooltip relates to line 1038):

It'd be useful to have this to enable us to track routines that have labels that are never touched.

This was discussed in issue #34 where @isc-tleavitt suggests:
"We could just say that a label is executable if there's ObjectScript between it and the next label, and is hit if ObjectScript between it and the next label is executed"

Thanks! 👍