:: deftheorem defines vars ABCMIZ_1:def 49 :
for C being initialized ConstructorSignature
for T being quasi-type of C holds vars T = varcl (variables_in T);