Use arith context for boolean vars