Renames variables in an operation subtree according to the given map. Handles both variable terms and the string keys used in VALUES bindings.
The transformation context
The operation to rewrite
Map from original variable name to its replacement variable
The rewritten operation
Renames variables in an operation subtree according to the given map. Handles both variable terms and the string keys used in VALUES bindings.