Decision #66 — src/lib.rs:727

Status: no_witness

Truth table

rowc0 br 443c1 br 444c2 br 453outcome
40294FFTT
43262FFTT
46715FFTT
49834FFTT
72393FTFT
72394FTFT
75868FTFT
75869FTFT

Independent-effect pairs

All 3 conditions live in scry_analyze_core::compute_bit_facts — 3 br_if