IR-independent compiler analyses shared by Celox's source and machine IRs.
This crate deliberately owns no SIR or MIR types. Callers translate their block, instruction, and memory-effect identities to dense indices and immutable event tables before invoking an analysis.