added more test cases for check3a