fnhartmann

### Proposal We are currently skipping global variables in the Expression Propagation stages. But for example in [extractme.zip](https://github.com/fkie-cad/dewolf/files/7985913/extractme.zip) it would be better for the readability to propagate them. For the...

### Proposal See the following example: [example.zip](https://github.com/fkie-cad/dewolf/files/14601296/example.zip) Dewolf is currently creating the following code: ```c int main(int argc, char ** argv, char ** envp) { unsigned long var_1; long i;...

### Proposal See the following example: [example.zip](https://github.com/fkie-cad/dewolf/files/14601296/example.zip) Dewolf is currently creating the following code: ```c int main(int argc, char ** argv, char ** envp) { unsigned long var_1; long i;...