Rename ReportingSection to DebugSection
This assertion is not always valid
Merge remote-tracking branch 'lara-leon/master' into lemma-filter