added stmtlist to extension