check boolean variables domains during conflict analysis