Propagate all arguments if callee information changes

Also, filter out incompatible function-pointer targets as early as possible.