for C being initialized ConstructorSignature
for e being constructor expression of C holds main-constr e in constrs e