remove useless test-arith1.mc