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

hnf_repeated_var_within_head:eq(1, 1, R)