simple dcg to generate test cases