adding test case generation to synthesis module