Added some background about DFA and IC3.