rarabaolaza I agree with your observation that there are many other cases to test outside the gaps detected by jacoco statement coverage reports. The jacoco statement coverage reports can help you determine areas that are untouched by test automation. They may give some rough indication of some use cases that are not touched by test automation. They don't help you prioritize use cases or identify component interactions.
As an example, I recommend we spend no time on the Submodule combinator. I've never detected anyone using it. It was an interesting experiment created many years ago. I've not seen any bug reports on it, and even if there were a bug report, I would not spend time on it.
I have finished a preliminary analysis of the report, in general, is pretty good but there are some improvement areas (not exhaustive list here)