let create_connection (arity: int) : symbol =
  let name =
    "__con" ^ (string_of_int (Counter.value global.id_counter + 1))
  in
    create_symbol Connection name name arity