mari-mari

[Types] Create function pointer type

2

### Proposal Add support to function pointers. If a variable is called at some point, the type of it could be set to a function pointer. Consider the following example:...

### Proposal We have decided to propagate expressions so far it is possible. Afterwards, subsequent stages should control resulting expression length. Hence, we don't need propagation limits in the user...

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

3

### What happened? Variables with different names but same labels are renamed to the same variable. Consider the following test, that currently fails: ```python def test_same_variable_idx(): """Variables can be copies...

### What happened? At some point of time we had problems with call result propagation cause propagation rules in `expression-propagation-memory` and `expression-propagation-call` somehow blocked each other. Initially the problem occurred...