ychr-0.1.0.0: test/golden/bounded_unresolved_arg/bounded_unresolved_arg.goal

result(7, R)