Static analysis: resolve conversions and check argument types

Static analysis: resolve conversions and check argument types #2075