keep track of which variables are known to be a python bool so that we can remove some of the nonzero() calls