Forgot to add assertion to arith3 test case