Filter out control procedures without unit tests

To more easily identify which control procedures are not yet covered by a unit test, it would be nice if there was a prefilter for this in the functionality screen. This way we can find these more easily and create them directly in the detail tab. An added bonus would be to display a badge at the unit tests, so you can immediately see by how many unit tests the control procedure is covered.