dive.rule: de-duplicate by sorting s operations.