Add examples for summation with symbolic indices

fixes #8549