Conditional Tests with an Order Restriction as a Null Hypothesis