try to fix issue #7.
now it generate 3 test cases instead of 1, the ideal solution only generates 2 test cases. But for now we have to generate 3 test cases because the 3rd path is feasible and we can only achieve that by having the 2nd path (which is infeasible). It's probably because of the existing implementation decision made in Single2. will fix that later.