barvinok_enumerate_e: support verification of generating functions