Better tests for the checker
update
fix repository location
A not-scalable at all temporary solution to issue #18
Close #18.

Using a homemade constraint. This commit may be the origin of a future hell.
Merge branch 'fix-COverbook' into develop
code cleaning
Move Example verification to integration tests.