stmts = $stmts; } public function getSubNodeNames() : array { return ['stmts']; } function getType() : string { return 'Stmt_Finally'; } }