for C being initialized ConstructorSignature
for t being ground pure expression of C, a_Type C holds ({} (QuasiAdjs C)) ast t is ground