Decision #396 — lib.rs:7990
Status: no_witness
Truth table
| row | c0 br 2577 | c1 br 2578 | outcome |
|---|---|---|---|
| 223313 | F | F | F |
| 300690 | F | F | F |
Independent-effect pairs
c0(branch2577): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2578): GAP view gap →<scry_analyze_core::Interp>::seq· br_if