Put to graveyard from battle Alabaster Dragon

/ / Alabaster Dragon CARD PUT TO GRAVEYARD from battlefield Start

bRet=true;
match.moveCardFromGraveyardToLibrary(player, card);
L.addLog(""+card+" moved itself to library from graveyard, and shuffled library.");
match.shuffleLibrary(player);

/ / Alabaster Dragon CARD PUT TO GRAVEYARD from battlefield End