cym: finished with some adequacy, the second testcase