ychr-0.1.0.0: test/golden/function_body_is_shadow/function_body_is_shadow.chr
:- module(function_body_is_shadow, [compute/2]).
:- chr_constraint compute/2.
:- function (process(int) -> int).
process(X) ->
X is X + 100,
X * 2.
compute(N, R) <=> R is process(N).