private Pattern getRegexParameter(Term term) {
if (term.isVariable()) {
throw new PInstantiationException(this, 1);
}
if (!term.isSymbol()) {
throw new IllegalTypeException(this, 1, "symbol", term);
}
return Pattern.compile(term.name(), Pattern.MULTILINE);
}