ychr-0.1.0.0: test/golden/hnf_compound_head/mismatch_f.goal

hnf_compound_head:mismatch(f(1), R)