:- use_module(library(clpfd)).
globcons(X, Y) :-
fd_global(globcons(X, Y), [], [minmax(X), minmax(Y), val(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(globcons(X, Y), [], [], A) :-
( nonvar(Y) ->
A = [call(domain([X], inf, Y)), exit]
;
A = []
).
:- globcons(_, Y), Y = 5.