Additional testcases

As illustrated by testcases\images\*png, not all additional petri-nets
can be reduced successfully.  In summary, the following input models
should be successfully reduced to statecharts: 1,2, 7, 8, 11 while the
following canno be reduced completely: 3, 5, 6, 9, 10.