- fix packageand() in testcase generation