AssertVariableOrdering needs to check all permutations for group items.
With the current approach, an input of [a,x,a,y] will fail against grp(seq(a,y), seq(a,x)) because the first sequence will match the first 'a' and the 'y' at the end, leaving [x,a] which won't match seq(a,x).
AssertVariableOrdering needs to check all permutations for group items.
With the current approach, an input of [a,x,a,y] will fail against grp(seq(a,y), seq(a,x)) because the first sequence will match the first 'a' and the 'y' at the end, leaving [x,a] which won't match seq(a,x).