[Hungarian Notation] Variables with different names but same labels are renamed to the same variable.

[github-actions]

closes #309

[NeoQuix]

To decide:

1. Same name for every variable or custom ones:

• e.G. var, tmp and every other identifier get the same name ==> Var
• or custom ones: var => Var, tmp => Tmp, ...
  If for custom names:
• is every custom name seperated by a _ or how can i reliably extract the name?

2. Same counter for every variable or one counter for every "type":

• e.G. var_0 => Var0, tmp_0 => Var1 ...
• or var_0 => Var0, tmp_0 => Tmp0

3. Prefix for invalid stuff

• invalid stuff will sometimes get nothing as a prefix. Maybe change it, to a "default" value like unk?

[NeoQuix]

Also: Substitute variables in a batch (dictionary) instead of iterating over AST every time

[NeoQuix]

Will only go once through the whole tree, but will still call n times replace_variable for all n replacement pairs in the nodes.
==> a bit faster, but not really

If the nodes would know the variables in their instructions, it could be faster.

[NeoQuix]

Rebase onto main.
Further changes/comments only done in #416

[NeoQuix]

Removing old review because of too much changes.

Completly new code.