Decision #318 — src/readers.rs:214
Status: no_witness
Truth table
| row | c0 br 2095 | c1 br 2096 | outcome |
|---|---|---|---|
| 961 | F | T | T |
| 962 | T | * | T |
| 4001 | F | T | T |
| 4002 | T | * | T |
| 6950 | F | T | T |
| 6951 | T | * | T |
Independent-effect pairs
c0(branch2095): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch2096): GAP view gap →scry_analyze_core::analyze· br_if