Added IC3 as a demand-driven DFA.