added a test case: test_sumDoubleDivVar.

This is a test of formula that consists of
- function
- formula in the function