correctly detect type of outputs of call to function pointers