Compatibility of Order-Sorted Rewrite Rules