Function bool_from_word_expr 

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

Extracts the boolean condition represented by a word-valued 0/1 expression.