Refactor function argument and return value analysis

[PeterMatula]

The analysis that recognizes function arguments and function return values needs refactoring to make it better. This issue lists all the problems, that should be solved by the new analysis.

[PeterMatula]

Too many arguments of function foo in test.zip:

// Address range: 0x80484a0 - 0x80484b2
int32_t foo(int32_t a1, int32_t a2, int32_t a3) {
    // entry
    return 5;
}

[PeterMatula]

Similar problems in for-test.zip.

[PeterMatula]

The new function argument/return analysis was already deployed. So maybe this is fixed. @xkubov try to look at it. If it is ok, create a regression tests and close it. If it is not, we can look into it.

[xkubov]

All problems mentioned in this thread are solved by 9a13ab3. I am closing this issue.

Included files were put into RetDec's Regression tests set. avast/retdec-regression-tests@1082936