Use LVA in the new SE

[pavel-mikula-sonarsource]

Use RoslynLiveVariableAnalysis in RoslynSymbolicExecution. It should be used the same way as the old LVA in the old SE.

In best-case scenario, create the instance inside the RoslynSymbolicExecution constructor.

Consider if we can remove originalDeclaration from the LVA constructor as it's only used to detect IsLocal. That should be inferrable from the CFG.

We also need a mechanism to prevent symbols to be released by LVA. Because we need to track their state as it is the case for S2222. We need to update this rule to use the API to preserve symbol tracking.