ychr-0.1.0.0: test/golden/qualified_constraint_in_body/qualified_zero.goal

qcmain:run(0, R)