Function analyse 

pub fn analyse(module: &Module, source: &str) -> AnalyseResult

Run structural checks plus process-level analysis (allium analyse). Returns diagnostics and typed findings with evidence.