Instead of removing two instances of S and replacing both with an X, you could simply remove the first S and replace it with a K. This would provide a functionally identical output with less code changes, and would preserve arity. Provide comments explaining the reason for the unintuitive implementation of the “fixes” interface so that future maintainers don’t mistakenly rewrite it. Pull request rejected.