ychr-0.1.0.0: test/golden/goal_not_a_constraint/program.chr

:- module(goal_not_a_constraint, [c/1, fun f/1]).
:- use_module(prelude).
:- chr_constraint c/1.
:- function f/1.

f(X) -> X + 1.

c(R) <=> R = 0.