Analyser: Check argument types