assert!(txn.get_external(&v.change).unwrap().is_some());

            assert!(txn.get_external(&e.introduced_by()).unwrap().is_some());
            assert!(txn.get_external(&e.dest().change).unwrap().is_some());