This patch starts from move the analysis which checkes of probably incorrectly usage of `int|uint` in native fn. Issue #1543