This effect has grave actions in the optional part, and it can be
negated by Ghost Belle & Haunted Mansion.

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

targets in SetOperationInfo() may be:
1. nil, unknown when activating
2. all possible cards in description
3. certain targets

CATEGORY_REMOVE with LOCATION_GRAVE:
These are certain targets, and they should be check when resolving.

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=12764&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=19934&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=12764&keyword=&tag=-1
EFFECT_IRON_WALL: the player is already affected by effects like "Imperial Iron Wall"
"negate activation and banish" effetcs cannot be activated while "Imperial Iron Wall" is on the field.

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=12596&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=20399&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=19660&tag=-1
condition:
for all card c, c can be banished
<=> !(for some card c, c cannot be banished)

This reverts commit b3f8eba1.

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

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=20114&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=22147&keyword=&tag=-1
Now it will check the status of the monster before effect cost.

* fix & update

* fix

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