redesign of regular expressions in user-defined wildcards