return Collections.emptySet();
}
@Override
protected SetOfVariables initUsedVariables() {
SetOfVariables usedVariables = new SetOfVariables();
usedVariables.addAll(destination.getUsedVariables());
usedVariables.addAll(value.getUsedVariables());
usedVariables.addAll(count.getUsedVariables());
return usedVariables;
}