filter.getArg().visit(new VarRenamer(oldVar.getName(), newVar.getName()));
// Replace SameTerm-filter with an Extension, the old variable name
// might still be relevant to nodes higher in the tree
Extension extension = new Extension(filter.getArg());
extension.addElement(new ExtensionElem(new Var(newVar.getName()), oldVar.getName()));
filter.replaceWith(extension);
}
private void bindVar(Var var, ValueConstant valueConstant, Filter filter) {
filter.getArg().visit(new VarBinder(var.getName(), valueConstant.getValue()));