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

:- chr_constraint a/1.
a(X) <=> unknown(X).