This content has been marked as final. Show 2 replies
Will have a close look tomorrow.
The solution here is to exclude the order compare on those who are not comparable by inputs/outputs and don't have order explicitly set.
They could be ordered by filling transitions (as the new test case), or by eventual (lazy) order compare (relative order or name compare) in fillCompareNames().