check function call types
check function returns