Quick note about the new(er) mechanics in Avacyn Restored:
Undying = Supported in Wagic 0.18.
Soulbound = A first and maybe final version of this keyword has been coded by my team mate Zethfox. We have to test this, and if it works and covers all rules successfully, it will very likely be part of Wagic 0.19.
Miracle = This keyword is not planned for 0.19 yet. Other more essential all-time key mechanics of Magic have priority for now...
Sets Coded/Released: Legends, Visions, Weatherlight, Tempest, Stronghold, Portal I & III, Urza's Saga BLOCK, Mercadian Masques, Invasion BLOCK, Mirrodin, Ravnica, Guildpact, Conflux, Alara Reborn