prevent exception when calling "Mirabelle.can_apply" on empty proof sequence;
the Judgement Day logs sometimes had entries of the form
at 970:26 (apply):
------------------
------------------
; these were apparently caused by this Mirabelle bug
(binary:application/x-msdos-program)