+ // Massacre (when enqueued)
+ box.new Event(
+ new Object[] { instr, "`instruction_is_massacre(instr)" },
+ new Action[] { instr, isMassacreing.doFill(), newMayProceed.doFill() }
+ );
+ box.new Event(
+ new Object[] { ondeckFull.isFull(), "`instruction_is_massacre(ondeck)" },
+ new Action[] { ondeckFull.doDrain(), isMassacreing.doDrain() }
+ );
+