fixed the problem that cannot pass test_sumDoubleDivVar().

The previous implementation didn't support the formula as
a function argument. This patch solves it.