checks en ast_decl