fix proof due to new EVAL behavior of SUM