Function is_exactly_true 

fn is_exactly_true(expr: Expr, info: &impl SimplifyInfo) -> Result<Expr>

Returns expression testing a boolean expr for being exactly true (not false or NULL).