add execution paths into the DFA