fix in getting approximable states: extract them from the DFA (not the
approximation DAG)