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

arith_int:t(rem_neg_num, R)