ychr-0.1.0.0: test/golden/hnf_repeated_var_within_head/eq_term_same.goal

hnf_repeated_var_within_head:eq(p(1,2), p(1,2), R)