Added __init__ to NFA