Fix debug output in InfoFlowAnalysis