adding execution path into the dfa