Predicate Make::PrefixConstruction::prefix
Gets a string for which the regular expression will reach state.
Has at most one result for any given state.
This predicate will not always have a result even if there is a ReDoS issue in
the regular expression.
Import path
import codeql.regex.nfa.NfaUtils