Better clause structur in simplifySum. Fixed regression