pub const QC_EXISTS: PropertyConstraint;