Maybe also synthesize and suggest property based tests, by one specify also some invalid examples. Then these checks could be ran for each transformation.
For instance:
- 123 456 = 123456 valid
- 1234567 = 123567 not valid (dropped 4)
Properties:
- output may not contain whitespace
- no number characters may be dropped
- characters may not be reordered