Add copy method to NFAs