proved kernelc list iterative length and sum examples
Merge pull request #870 from yilongli/prove-kernelc-iterative-len-sum

prove iterative length and sum examples