ychr-0.1.0.0: test/golden/discontiguous_equations/discontiguous_equations.chr

:- function f/1.
f(0) -> 1.
:- chr_constraint foo/1.
foo(X) <=> true.
f(N) -> N.