Function oracle_analyze_with_entry_guards 

pub fn oracle_analyze_with_entry_guards(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> OracleFacts

oracle_analyze_with for the largo build AOT codegen ONLY. Enables the recursive-1-based-partition entry-guard precondition (1 <= lo, hi <= len) and alias length_def propagation — sound here because the AOT codegen emits the matching runtime assert! at the function entry. The VM/JIT path emits no such assert, so it must use oracle_analyze_with.