BUG: Single effect of monster won't be removed between "battle destroy confirmed" and "send to grave"

[mercury233]

https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=8739&request_locale=ja
https://ocg-rule.readthedocs.io/zh_CN/latest/c03/%E6%88%98%E6%96%97%E9%98%B6%E6%AE%B5%E6%B5%81%E7%A8%8B.html#id20

mail:
Q.
ATK 2000の「ワンショット・ロケット」の攻撃は、「沈黙の魔術師－サイレント・マジシャン」（手札2枚、ATK 2000）を破壊し、「ワンショット・ロケット」の効果ダメージは1000ですか、それとも500ですか？
A.
相手は５００のダメージを受けます。

If one monster is destroyed by battle, most of its effect should be removed before it is actually send to grave.

But now in YGOPro, only EFFECT_TYPE_FIELD effect will be no longer effect::is_available, EFFECT_TYPE_SINGLE+EFFECT_FLAG_SINGLE_RANGE effect is still in effect.

Another example: If Red Dragon Archfiend battle destroyed Kikinagashi Fucho which is in defense, Kikinagashi Fucho should be destroyed by the effect of Red Dragon Archfiend instead of battle.