Update InfoFlowAnalysis to use SDEBUG changes