Member predicate CanonicalName::hasChild

Holds if this canonical name has a child, i.e. an extension of its qualified name.

predicate hasChild()