pub fn rename_var_in_expr(expr: &VerifyExpr, from: &str, to: &str) -> VerifyExprExpand description
Rename a variable in a VerifyExpr (simple textual substitution). Recursively traverses ALL variants — no silent drops.
pub fn rename_var_in_expr(expr: &VerifyExpr, from: &str, to: &str) -> VerifyExprRename a variable in a VerifyExpr (simple textual substitution). Recursively traverses ALL variants — no silent drops.