Added an implementation for Stmt.NumInput