Write tests that compare number of generated test cases with simple trace
Write tests that compare number of generated test cases with simple trace