Forward type propagation of function parameters

[D0ntPanic]

Propagating parameters from callee to caller is already performed. However, propagating types from a caller to the callee is not yet performed. As this involves taking into account information from multiple call sites, we will need to have support for type propagation with multiple sources of information to do this. Also, this form of propagation can easily lead to analysis loops, and mitigation needs to be in place for dealing with that.

[op2786]

Does this also automatically set data_1805c4f70's type as RTL_CRITICAL_SECTION for this line : TryEnterCriticalSection(&data_1805c4f70)?