Avoid repeatedly allocating memory for NFAs.