Remove a rule obsoleted by one in the global set