NFA Builder finished