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

:- module(lambda_body_invalid_unify, [compute/2]).
:- chr_constraint compute/2.
:- function apply/2.

apply(F, X) -> '$call'(F, X).

compute(N, R) <=>
    R is apply(fun(X) -> X = 1, X end, N).