[FEATURE REQUEST] Parametrize scoping logic around calls

[lucaneg]

Description Depending on the language, the scoping mechanism when a call is encountered might be different. The LanguageFeatures class should contain a ScopingStrategy that allows to customize how the analysis behaves around calls (not only if/when scoping should be applied, but also to which portion of the state).