Distinguish between bool and bv operators