let
elim_ite_simplify { litterals = sa; } =
List
.map create_normal (elim_ite_atoms sa)