Function zero_check_operand 

pub(crate) fn zero_check_operand(expr: &BoolExpr) -> Option<&Expr>

Returns the operand tested by operand == 0.