How to use

ReturnToLibrarySpellEffect

in

mage.abilities.effects.common

  @Override
  public ReturnToLibrarySpellEffect copy() {
    return new ReturnToLibrarySpellEffect(this);
  }
}

public SanguineSacrament(UUID ownerId, CardSetInfo setInfo) {
  super(ownerId, setInfo, new CardType[]{CardType.INSTANT}, "{X}{W}{W}");
  // You gain twice X life. Put Sanguine Sacrament on the bottom of its owner's library.
  this.getSpellAbility().addEffect(new GainLifeEffect(SanguineSacramentValue.instance));
  this.getSpellAbility().addEffect(new ReturnToLibrarySpellEffect(false));
}

public SeasonsPast(UUID ownerId, CardSetInfo setInfo) {
  super(ownerId, setInfo, new CardType[]{CardType.SORCERY}, "{4}{G}{G}");
  // Return any number of cards with different converted mana costs from your graveyard to your hand. Put Seasons Past on the bottom of its owner's library.
  this.getSpellAbility().addEffect(new SeasonsPastEffect());
  this.getSpellAbility().addEffect(new ReturnToLibrarySpellEffect(false));
}

public SpellCrumple(UUID ownerId, CardSetInfo setInfo) {
  super(ownerId,setInfo,new CardType[]{CardType.INSTANT},"{1}{U}{U}");
  // Counter target spell. If that spell is countered this way, put it on the bottom of its owner's library instead of into that player's graveyard. Put Spell Crumple on the bottom of its owner's library.
  this.getSpellAbility().addTarget(new TargetSpell());
  this.getSpellAbility().addEffect(new SpellCrumpleCounterEffect());
  this.getSpellAbility().addEffect(new ReturnToLibrarySpellEffect(false));
}

public EverAfter(UUID ownerId, CardSetInfo setInfo) {
  super(ownerId,setInfo,new CardType[]{CardType.SORCERY},"{4}{B}{B}");
  // Return up to two target creature cards from your graveyard to the battlefield. Each of those creatures is a black Zombie in addition
  // to its other colors and types. Put Ever After on the bottom of its owner's library.
  this.getSpellAbility().addEffect(new ReturnFromGraveyardToBattlefieldTargetEffect());
  this.getSpellAbility().addTarget(new TargetCardInYourGraveyard(0, 2, new FilterCreatureCard("creature cards from your graveyard")));
  Effect effect = new BecomesBlackZombieAdditionEffect();
  effect.setText("Each of those creatures is a black Zombie in addition to its other colors and types");
  this.getSpellAbility().addEffect(effect);
  this.getSpellAbility().addEffect(new ReturnToLibrarySpellEffect(false));
}