let
simplify { litterals = sa; } = create_normal (simplification_atoms
SAtom
.empty sa)