dfa_sat: add classify states