@Override
protected SetOfVariables initUsedVariables() {
SetOfVariables usedVariables = new SetOfVariables();
usedVariables.addAll(destination.getUsedVariables());
usedVariables.addAll(value.getUsedVariables());
usedVariables.addAll(count.getUsedVariables());
return usedVariables;
}
@Override
public <T> T accept(StatementVisitor<T> visitor) {