let is_connection_literal (literal: literal) : bool = try Symbol.is_connection (top_symbol_literal literal) with | Not_found -> false