NFA with simple test