cogent
cogent copied to clipboard
context order
f2853a5cb is not sufficient. SolvingConstraints are in reverse order.
also refer to c7cfe9c