disabled monomial-order-test