Adds constructEClosure() in DFA