The NFA appears to be correctly constructed at this point. It is not complete since various closure properties need to be completed.