tentative finish of dfa of constprop