c1.has_subtype() = false
c2.has_subtype() = true