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

hnf_compound_head:mismatch(g(2), R)