RegEx is located in:

• suplib/src/RegEx.i3
• patternmatching/src/RegEx.i3