GROOVY-3695: split DGM String.minus(Pattern) away