pub(crate) fn word_bool_always_true(expr: &Expr) -> bool
Returns whether a word-valued boolean expression is an exact tautology.