This DoublecheckMate.cql finds studies where a Doublecheck does also Mate the black king.

Created by Peter Boll.

;; Doublecheck Mates
(match
 :pgn heijden.pgn
 :output DoublecheckMate.pgn
(position :flipcolor :variations :terminal :mate :attackcount A k 2) 
)

211 studies are found. Here a few presented: