Initial attempt at liveness analysis

[drcjt]

Updates local variables mustinit based on results of liveness analysis.
Future PR will use mustinit to do local initialisation

• Still need to write tests
• Manually tested for simple local variable types
• Not tested complex value types e.g. structs yet.
• Doesn't handle jmp at end of blocks - note this is not necessary as currently importer can't handle jmp cil anyway

[drcjt]

Initial work for #327

[sonarcloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
3 Code Smells

95.5% Coverage
0.0% Duplication

The version of Java (11.0.20) you have used to run this analysis is deprecated and we will stop accepting it soon. Please update to at least Java 17.
Read more here