add a precision related to the regex/automata