Function guarded_self_div_word_condition 

fn guarded_self_div_word_condition(
    cond: &BoolExpr,
    left: &Expr,
    right: &Expr,
) -> Option<BoolExpr>

Returns the boolean represented by a == 0 ? 0 : a / a.