semantic: Insert boolean casts in binop logic expressions.