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

:- module(function_body_invalid_unify, [compute/2]).
:- chr_constraint compute/2.
:- function f/1.

f(X) ->
    X = 1,
    X.

compute(N, R) <=> R is f(N).