fix:
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=21695&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=9791&keyword=&tag=-1

CATEGORY_LEAVE_GRAVE: grave actions other than to hand, to deck, remove, sp_summon

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=11530&keyword=&tag=-1
half of x: ceil(x/2)
halves LP: lp=ceil(lp/2), which is equal to pay floor(lp/2)

require df431 in ocgcore
fix:
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=22384&keyword=&tag=-1

require 2e3cc in ocgcore
EFFECT_FLAG_CANNOT_INACTIVATE: activation cannot be negated
EFFECT_FLAG_CANNOT_DISABLE: effect cannot be negated (including some internal effects)
EFFECT_FLAG_CANNOT_NEGATE: "effect cannot be negated" in card text

Skip cards which had been proved to be selectable or not selectable.