magarena/release/Magarena/scripts/Kozilek__Butcher_of_Truth.groovy

[
    new MagicWhenSpellIsCastTrigger() {
        @Override
        public MagicEvent executeTrigger(
                final MagicGame game,
                final MagicPermanent permanent,
                final MagicCardOnStack spell) {
            return new MagicEvent(
                spell,
                this,
                "PN draws four cards."
            );
        }
        @Override
        public void executeEvent(
                final MagicGame game,
                final MagicEvent event) {
            game.doAction(new MagicDrawAction(event.getPlayer(),4));
        }
    },
    MagicWhenPutIntoGraveyardTrigger.RecoverGraveyard
]