Decision #43 — library/alloc/src/collections/btree/node.rs:731
Status: no_witness
Truth table
| row | c0 br 269 | c1 br 270 | outcome |
|---|---|---|---|
| 15820 | T | T | T |
| 15821 | T | T | T |
| 15822 | * | T | T |
| 15823 | T | T | T |
| 15824 | * | T | T |
| 15825 | T | T | T |
| 15826 | * | T | T |
| 15827 | T | T | T |
| 15828 | * | T | T |
| 15829 | T | T | T |
| 15830 | * | T | T |
| 15831 | T | T | T |
| 15832 | * | T | T |
| 15833 | T | T | T |
| 15834 | * | T | T |
| 15835 | * | T | T |
| 25300 | T | T | T |
| 25301 | T | T | T |
| 25302 | * | T | T |
| 25303 | T | T | T |
| 25304 | * | T | T |
| 25305 | T | T | T |
| 25306 | * | T | T |
| 25307 | T | T | T |
| 25308 | * | T | T |
| 25309 | T | T | T |
| 25310 | * | T | T |
| 25311 | T | T | T |
| 25312 | * | T | T |
| 25313 | T | T | T |
| 25314 | * | T | T |
| 25315 | * | T | T |
| 34750 | T | T | T |
| 34751 | T | T | T |
| 34752 | T | T | T |
| 34753 | T | T | T |
| 34754 | T | T | T |
| 34755 | T | T | T |
| 34756 | T | T | T |
| 34757 | T | T | T |
| 34758 | T | T | T |
| 34759 | T | T | T |
| 34760 | T | T | T |
| 34761 | T | T | T |
| 34762 | T | T | T |
| 34763 | T | T | T |
| 34764 | T | T | T |
| 34765 | T | T | T |
| 34766 | T | T | T |
| 34767 | T | T | T |
| 34768 | T | T | T |
| 34769 | T | T | T |
| 34770 | T | T | T |
| 34771 | T | T | T |
| 34772 | T | T | T |
| 34773 | T | T | T |
| 40963 | T | T | T |
| 40964 | T | T | T |
| 40965 | T | T | T |
| 40966 | T | T | T |
| 40967 | T | T | T |
| 40968 | T | T | T |
| 40969 | T | T | T |
| 40970 | T | T | T |
| 40971 | T | T | T |
| 40972 | T | T | T |
| 40973 | T | T | T |
| 40974 | T | T | T |
| 40975 | T | T | T |
| 40976 | T | T | T |
| 40977 | T | T | T |
| 40978 | T | T | T |
| 40979 | T | T | T |
| 40980 | T | T | T |
| 40981 | T | T | T |
| 40982 | T | T | T |
| 40983 | T | T | T |
| 40984 | T | T | T |
| 40985 | T | T | T |
| 40986 | T | T | T |
| 64227 | T | T | T |
| 64228 | T | T | T |
| 64229 | * | T | T |
| 64230 | T | T | T |
| 64231 | * | T | T |
| 64232 | T | T | T |
| 64233 | * | T | T |
| 64234 | T | T | T |
| 64235 | * | T | T |
| 64236 | T | T | T |
| 64237 | * | T | T |
| 64238 | T | T | T |
| 64239 | * | T | T |
| 64240 | T | T | T |
| 64241 | * | T | T |
| 64242 | T | T | T |
| 64243 | * | T | T |
| 64244 | T | T | T |
| 64245 | * | T | T |
| 64246 | T | T | T |
| 64247 | * | T | T |
| 64248 | T | T | T |
| 64249 | * | T | T |
| 64250 | * | T | T |
| 75740 | T | T | T |
| 75741 | T | T | T |
| 75742 | * | T | T |
| 75743 | T | T | T |
| 75744 | * | T | T |
| 75745 | T | T | T |
| 75746 | * | T | T |
| 75747 | T | T | T |
| 75748 | * | T | T |
| 75749 | T | T | T |
| 75750 | * | T | T |
| 75751 | T | T | T |
| 75752 | * | T | T |
| 75753 | T | T | T |
| 75754 | * | T | T |
| 75755 | T | T | T |
| 75756 | * | T | T |
| 75757 | T | T | T |
| 75758 | * | T | T |
| 75759 | T | T | T |
| 75760 | * | T | T |
| 75761 | T | T | T |
| 75762 | * | T | T |
| 75763 | * | T | T |
| 114021 | T | T | T |
| 114022 | T | T | T |
| 117237 | T | T | T |
| 117238 | T | T | T |
| 117239 | * | T | T |
| 117240 | T | T | T |
| 117241 | * | T | T |
| 117242 | T | T | T |
| 117243 | * | T | T |
| 117244 | T | T | T |
| 117245 | * | T | T |
| 117246 | T | T | T |
| 117247 | * | T | T |
| 117248 | T | T | T |
| 117249 | * | T | T |
| 117250 | T | T | T |
| 117251 | * | T | T |
| 117252 | T | T | T |
| 117253 | * | T | T |
| 117254 | T | T | T |
| 117255 | * | T | T |
| 117256 | T | T | T |
| 117257 | * | T | T |
| 117258 | T | T | T |
| 117259 | * | T | T |
| 117260 | T | T | T |
| 117261 | * | T | T |
| 117262 | T | T | T |
| 117263 | * | T | T |
| 117264 | T | T | T |
| 117265 | * | T | T |
| 117266 | T | T | T |
| 117267 | * | T | T |
| 117268 | T | T | T |
| 117269 | * | T | T |
| 117270 | T | T | T |
| 117271 | * | T | T |
| 117272 | T | T | T |
| 117273 | * | T | T |
| 117274 | T | T | T |
| 117275 | * | T | T |
| 117276 | T | T | T |
| 117277 | * | T | T |
| 117278 | T | T | T |
| 117279 | * | T | T |
| 117280 | T | T | T |
| 117281 | * | T | T |
| 117282 | T | T | T |
| 117283 | * | T | T |
| 117284 | T | T | T |
| 117285 | * | T | T |
| 117286 | T | T | T |
| 117287 | * | T | T |
| 117288 | T | T | T |
| 117289 | * | T | T |
| 117290 | T | T | T |
| 117291 | * | T | T |
| 117292 | T | T | T |
| 117293 | * | T | T |
| 117294 | T | T | T |
| 117295 | * | T | T |
| 117296 | T | T | T |
| 117297 | * | T | T |
| 117298 | T | T | T |
| 117299 | * | T | T |
| 117300 | T | T | T |
| 117301 | * | T | T |
| 117302 | T | T | T |
| 117303 | * | T | T |
| 117304 | T | T | T |
| 117305 | * | T | T |
| 117306 | T | T | T |
| 117307 | * | T | T |
| 117308 | * | T | T |
| 140173 | T | T | T |
| 140174 | T | T | T |
| 140175 | * | T | T |
| 140176 | T | T | T |
| 140177 | * | T | T |
| 140178 | T | T | T |
| 140179 | * | T | T |
| 140180 | T | T | T |
| 140181 | * | T | T |
| 140182 | T | T | T |
| 140183 | * | T | T |
| 140184 | T | T | T |
| 140185 | * | T | T |
| 140186 | T | T | T |
| 140187 | * | T | T |
| 140188 | T | T | T |
| 140189 | * | T | T |
| 140190 | T | T | T |
| 140191 | * | T | T |
| 140192 | T | T | T |
| 140193 | * | T | T |
| 140194 | T | T | T |
| 140195 | * | T | T |
| 140196 | T | T | T |
| 140197 | * | T | T |
| 140198 | T | T | T |
| 140199 | * | T | T |
| 140200 | T | T | T |
| 140201 | * | T | T |
| 140202 | T | T | T |
| 140203 | * | T | T |
| 140204 | T | T | T |
| 140205 | * | T | T |
| 140206 | T | T | T |
| 140207 | * | T | T |
| 140208 | T | T | T |
| 140209 | * | T | T |
| 140210 | T | T | T |
| 140211 | * | T | T |
| 140212 | T | T | T |
| 140213 | * | T | T |
| 140214 | T | T | T |
| 140215 | * | T | T |
| 140216 | T | T | T |
| 140217 | * | T | T |
| 140218 | T | T | T |
| 140219 | * | T | T |
| 140220 | T | T | T |
| 140221 | * | T | T |
| 140222 | T | T | T |
| 140223 | * | T | T |
| 140224 | T | T | T |
| 140225 | * | T | T |
| 140226 | T | T | T |
| 140227 | * | T | T |
| 140228 | T | T | T |
| 140229 | * | T | T |
| 140230 | T | T | T |
| 140231 | * | T | T |
| 140232 | T | T | T |
| 140233 | * | T | T |
| 140234 | T | T | T |
| 140235 | * | T | T |
| 140236 | T | T | T |
| 140237 | * | T | T |
| 140238 | T | T | T |
| 140239 | * | T | T |
| 140240 | T | T | T |
| 140241 | * | T | T |
| 140242 | T | T | T |
| 140243 | * | T | T |
| 140244 | * | T | T |
Independent-effect pairs
c0(branch269): GAP view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:161c1(branch270): GAP view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if