encoding (minor): In DerNode::getSequence, rename parameter outerChildren to children.