Add test cases for checker