Re^2: "Inverse" Pattern Matching

[hdb]

Thanks a lot. The long or-clause probably grows exponentially with the length of the pattern but if I combine it with your other proposal it might work.