Refactoring: Move isScopeNoReturn implementation to library and reuse it both in ValueFlow and Tokenizer