dfa: remove trivial state facts that constant != another constant
dfa: abstract out eq class into EqClass class