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

hnf_repeated_var_within_head:eq(a, b, R)