fn cache_key_bool(expr: BoolExpr) -> BoolExpr
Returns a conservative canonical boolean expression for cache-key equality.