Increasing maximal number of rules for DFA