Commit test rule binop & arith