fixed testcase for check0