Potential bug in create_sort_constraint_with_edges

[Rumata888]

Create_sort_constraint_with edges goes through variables in quadruplets. However, for the last row it takes the last 4 variables in the list. There might be a correctness issue with this approach,since the last value at the previous row might become higher than the first value in the previous row.. We should probably expand the tests and look at it more closely