Rename ReportingSection to DebugSection
This assertion is not always valid
Merged a little thing with lemma-error branch
Merge remote-tracking branch 'lara-leon/master' into lemma-filter
Good news

I wrong before when changing the philip suter code about multi-patterns!
Now we can get instances from Z3 and unfold theses instances.

But now, some errors still exist, so we have a lot of work to do :-)
But it's good when now, we can prove without handy applying lemmas (at
least, it works in some cases, but better than no work at all)

;)
Fix a error when testing, now try to test with Travis