first prototype cut of autogenerating testcases