Added non-functional NFA, still needs to get changed