Fix segfault in InfoFlowAnalysis::propagateForExternCall