Decision #509 — `lib.rs:1275`

Status: partial

Truth table

row	c0 br 3419	c1 br 3420	c2 br 3421	c3 br 3422	c4 br 3423	c5 br 3424	c6 br 3425	c7 br 3426	c8 br 3427	c9 br 3428	c10 br 3429	c11 br 3430	c12 br 3432	c13 br 3433	c14 br 3434	outcome
751	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
752	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
753	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
754	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
755	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
756	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4544	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4545	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4546	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4547	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4548	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
4549	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8275	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8276	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8277	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8278	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8279	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
8280	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47864	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47865	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F
52033	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
52034	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F
56571	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
56572	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F
60788	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
60789	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F
96049	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
105742	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
105743	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
111533	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
114489	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F

All 15 conditions live in scry_analyze_core::recursive_flags_from_sccs — 15 br_if