Use the new debug stuff in InfoFlowAnalysis