Fix segfault in InfoFlowAnalysis