let mk_poslit a =
  match Atom.atom_of a with
    | Atom.TT -> True
    | Atom.FF -> False
    | _ ->  Atom(a)