let atom_mk_in a i = Atom.mk_in (a, i)