Decision #529 — lib.rs:1587
Status: no_witness
Truth table
| row | c0 br 3652 | c1 br 3653 | outcome |
|---|---|---|---|
| 825 | T | F | F |
| 4618 | T | F | F |
| 8349 | T | F | F |
Independent-effect pairs
c0(branch3652): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3653): GAP view gap →scry_analyze_core::analyze· br_if