Testing the checker
*******************

TODO