Quick failure for restriction-subset? added.
Only check OSes for non-hyps.