function wrapId(pattern, flags) {
      return RegExp(pattern.replace(/<nonId>/g, nonId), flags)
    }
Should be performed after searching for
- numeric constants (because of "+" and "-");
- punctuation marks (because of ":=" and "=").