for C being initialized ConstructorSignature
for e being expression of C holds e is subexpression of e