Decision #96 — lib.rs:4357
Status: no_witness
Truth table
| row | c0 br 750 | c1 br 754 | outcome |
|---|---|---|---|
| 92670 | F | T | T |
| 111533 | F | T | T |
Independent-effect pairs
c0(branch750): GAP view gap →scry_analyze_core::Interp::seq· br_ifc1(branch754): GAP view gap →scry_analyze_core::Interp::seq· br_if