ychr-0.1.0.0: test/golden/hnf_literal_in_head/pair_ab.goal

hnf_literal_in_head:tag(p(a, b), R)