fn cache_key_expr(expr: Expr) -> Expr
Returns a conservative canonical word expression for cache-key equality.