[1] 認知のときには区切子の長さの長いものが優先されるわけですが。
例えば
DELIM GENERAL SGMLREF
HCRO "&#x"
SHORTREF SGMLREFなときに、 &#xtest;
はどう解釈されるんでしょう?hcro ではないかと推測するが、
直後が [0-9A-Fa-f]+ になっていないので、
認知しない。結論からすると B. が正しく、 XTEST という名前が定義されていればそれに展開されるようです。