Explicitly define variables in bench_groebnertools.py