Fix issue in SectionChecker with overlapping not detected when a section goes missing
Invert prevalence when overlapping on a central control (loop)
Use GreedyLooseTracer to compute permissive traces for sections detection
Clean