kernel_sym_break_order

ordered_sym_break_value(A,B) :- print(ordered_sym_break_value(A,B)),nl,fail.

ordered_sym_break_value(int(X),int(Y)) :- !,clpfd_lt(X,Y,_).

ordered_sym_break_value(fd(X,T),fd(Y,T)) :- !, print(fd_sym_break(X,Y,T)),nl,clpfd_lt(X,Y,_).

ordered_sym_break_value(pred_false,R) :- !, R=pred_true.

ordered_sym_break_value(pred_true,_) :- !, fail.

ordered_sym_break_value((X,_V),(Y,_W)) :- !, ordered_sym_leq(X,Y). % TODO: improve

ordered_sym_break_value(_,_).

ordered_sym_leq(int(X),int(Y)) :- !,clpfd_leq(X,Y,_).

ordered_sym_leq(fd(X,T),fd(Y,T)) :- !, clpfd_leq(X,Y,_).

ordered_sym_leq(pred_false,_R) :- !, true.

ordered_sym_leq(pred_true,R) :- !, R=pred_true. %,Cmp=eq.

ordered_sym_leq((X,_V),(Y,_W)) :- !, ordered_sym_leq(X,Y).

ordered_sym_leq(_,_).

sym_break_set([H|T]) :- !, %print(sym_break_set(H,T)),nl,
    (nonvar(H) -> sym_break_set(T) ; sym_break_set2(T,H)).

sym_break_set(_).

sym_break_set2([H|T],PreviousValue) :- !, % print(sym_break_set2(H,T,PreviousValue)),nl,
    (nonvar(H) -> sym_break_set2(T,PreviousValue)
    ; %print(sym_break(PreviousValue,H)),nl,
    ordered_sym_break_value(PreviousValue,H),
    sym_break_set2(T,H)).

sym_break_set2(_,_).