presto-main/src/main/java/io/prestosql/sql/analyzer/FeaturesConfig.java/FeaturesConfig/getRe2JDfaStatesLimit
class FeaturesConfig:    @Min(2)
    public int getRe2JDfaStatesLimit()
    {
        return re2JDfaStatesLimit;
    }