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

hnf_repeated_var_within_head:eq(1, 2, R)