Updating the Thompson NFA composition.