add extra barvinok_summate test case involving quasi-polynomial