let atom_mk_equal a b = 
  Atom.mk_equal (a, b)