val top : Ast_cocci.top_level -> Ast_popl.sequence