lower_or_upper(X,Val,_Lower,Upper):-
	Val = Upper, 
	set_variable_bound(upper,X,Upper).