Fix variable domain (all values should be greater than 0).