Power Source Verification Data Flow Graphs