ychr-0.1.0.0: test/golden/arith_int/rem_both_neg.goal

arith_int:t(rem_both_neg, R)