Symbol: to_ast_astdp_connector_state