ychr-0.1.0.0: test/golden/lambda_through_constraint_store/run_5.goal

lambda_through_constraint_store:run(5, R)