pub fn classify_program(stmts: &[Stmt<'_>]) -> Determinacy
Classify the determinacy of a whole program.