Consider order-dep and insuf-ev meta-hyps always to be true.

This is because they are essentially "harmless" and should be kept by
oracle mode whenever they are available.