why don't we have a copy() method in NFAState instead of this?