trying meaningful testcase generation