see Fluorohydride/ygopro-core@2b31bb07c12516b0971a7a04c0f9f1506f972005

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=4&cid=10711

0x100000000 is bigger than UINT32_MAX

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=9456&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=6833&keyword=&tag=-1
1. Cards with redirect effect are not treated as "banished by this effect".
2. Field id will change when the controller of Vulgate changes, so now it does not use current field id.

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)