Started closure operation in Nfa, extended Angluin