Add test case for rule checker