ychr-0.1.0.0: test/golden/evaluated_tell_args/body_arith.goal

evaluated_tell_args:via_body(5, R)