Smallest-transformation-only does not reduce all double cuts to single cuts

[KramerChristian]

With the current implementation of smallest-transformation only, some reducible double-cut transformations are still present in the database. For example, this transformation

[:1]C(F)[:2] >> [:1]C(Cl)[:2]

can be reduced to that transformation

[:1]F >> [:1]Cl