ValueFlow: Refactoring. Use utility function isVariableChanged.