Specific handling of fixPoint in Sum to avoid recomputations