:- module daf_bug.daf_bug_sub.
:- interface.

:- type bool_kind ---> geq ; lt ; eq ; neq.

:- func child_value = cpx_constraint.

:- implementation.

child_value = literal(bool_var(geq, int_dom(561), 42)).
