DEFから大域を見れると聞いて、仕様なんだと勝手に納得してました。(そして、COMMON DEFに逃げ出した) なるほど、今は上に書いた方が定義としては有効と言うことですね。