Decision #751 — binary_reader.rs:285

Status: unreached

Truth table

rowc0 br 5400c1 br 5401c2 br 5403outcome

Independent-effect pairs