feat: Simplify is ins to an OR chain of eqs#3800

Merged

colin-ho merged 2 commits intomainfrom colin/chain-is-ins

Feb 14, 2025

Commits on Feb 12, 2025

chain is ins

Colin Ho
authored and
Colin Ho
committed

Commits on Feb 14, 2025

combine disjunction

Colin Ho
authored and
Colin Ho
committed