#12 Minimal - Bug and inconsistency

[German Sibay]

Check the attached file.
minimal ||It2_PostMin = (It1_Resulting_MTS).
minimal ||It2Min = (It1).
It1 = (OrderFood ++ UpdateStock).

It1_Resulting_MTS is just the result of the merge in It1 (copy and pasted from the Transition window). So technically they are the same.
It2_PostMin is minimised and the result is verified as correct. However It2Min is minimised but the minimised and the original are not comparable (they have a different alphabet). They should be comparable, and also, It2Min and It2_PostMin should lead to the same resulting MTS (or both raise an exception).

[German Sibay]

[German Sibay]

Attached file has been updated.