Decision #713 — src/readers.rs:202
Status: no_witness
Truth table
| row | c0 br 4442 | c1 br 4470 | outcome |
|---|---|---|---|
| 1769 | T | F | F |
| 8729 | T | F | F |
| 15534 | T | F | F |
Independent-effect pairs
c0(branch4442): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4470): GAP view gap →scry_analyze_core::analyze· br_if