fn word_from_bool_expr(condition: BoolExpr) -> Expr
Converts a boolean condition into its 0/1 word representation.