Blocks-based control flow graph
[DetermineTypes] ldftn opcode support
small refactor
IL based test targets
PoC for DFS-based cfg walker
Reversable stack
Working dfs-based determining call types
Finally working (fast and correct) determining call parameter types