bug fix

fixed a bug - now the number zero can be in the domain of the variables.