Add conversion from ASTEmpty to NFA