Make sure to define total ordering on test models