Rerun arith test: missing clause.