let equal (symbol1: symbol) (symbol2: symbol) : bool = 
  if Const.debug then begin
    if
      (symbol1 == symbol2)
        !=
      (symbol1.id = symbol2.id)
    then begin
      print_endline (symbol1.name ^ "/" ^ string_of_int symbol1.arity ^ ": " ^ string_of_int symbol1.id);
      print_endline (symbol2.name ^ "/" ^ string_of_int symbol2.arity ^ ": " ^ string_of_int symbol2.id);
      failwith "Symbol.equal";
    end
  end;

  symbol1 == symbol2