Fix: Lifiting/Printing of global variables

[NeoQuix]

Draft: Fix some hacks of global variable lifting + improvements Todo: Tests + Switch Detection

[NeoQuix]

Last things to do:

• Fix GlobalVariable usage in old tests
• Remove binary regex checks from tests
• Fix tests printing GlobalVariables + add new tests for Arrays

[NeoQuix]

CExprGenerator does already have (or had) a few rules for printing integers. Will re-add them + check if they apply sensible for Globals as well.

Furthermore need to investigate the UnaryOperation at the end of constants.py. There are more exceptions (like Constant from BNinja)

[NeoQuix]

Dammit. Wanted to merge instead of rebase + my main was not the newest which created a merge.

Will create a new branch with cherry picked old commits.

[NeoQuix]

401 is the new branch