synthesis rules now use subsumption, so defaults are no longer required