small change in bench (require non var terms)