Function assert_no_unexplained_output_frame 

pub fn assert_no_unexplained_output_frame<C, O>(
    graph: &Graph<C, O>,
    result: &TransactionResult<C, O>,
) -> Result<(), AuditAssertionError>

Asserts every output frame in a result has matching audit explanation.