let
simplify_atoms sa = simplification_atoms
SAtom
.empty sa