let d_atom = function Atom(a) -> a | _ -> invalid_arg "wrong propositional argument"