Bring default rules code (but no default rules in FACs yet)