Function recognize_int_clamp 

pub fn recognize_int_clamp(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> Option<IntClampSpec>

Recognize Let Y be X clamped between LO and HI — Push min(max(X[p], LO), HI) in one counted loop.