for C being ConstructorSignature holds
( C is standardized iff C is Subsignature of MaxConstrSign )