Order of columns in counter example does not match specification

[mattulbrich]

The order of columns in a gtt specification and a counterexample resulting from that very gtt should be in the same order.

Steps

I provided a specification with two columns "i: input" and "o: output". The code does not satisfy the spec. A counterexample is shown with the two columns in different order. Note: I had to switch the columns earlier when design the table.

problemsession.zip
(github does not accept .xml files here)