Comment Note [Take care] explains. mkAtomicArgs is a mess. A substantial rewrite of Simplify is needed.