OPL_VALID_LEAF
(OPL_OBERON_CHANNEL(channel) && !OPL_VALID_LEAF(leaf)) ||
ASSERT(OPL_VALID_LEAF(leaf));