Function recognize_softcap 

pub fn recognize_softcap(stmts: &[Stmt<'_>]) -> Option<SoftcapSpec>

Recognize Let Y be X capped at C anywhere in the statement list.