enable to set the reification BoolVar