Watch for nan in the f.is_Add branch of eval_sum_symbolic

fixes #8251
Merge pull request #8253 from skirpichev/8251-fix

Watch for nan in the f.is_Add branch of eval_sum_symbolic