pts-to: handle VarArg functions properly, take 2

We were still not handling them for return instructions properly. Fix
that the same as for the first case by having return types in the
CallMap, isntead of full types and check whether types are compatible
when it comes to building output iterators.