Trace.doit calls obligatory doit on Sum