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

lambda_through_constraint_store:run(100, R)