:: deftheorem defines variables_in ABCMIZ_1:def 46 :
for C being initialized ConstructorSignature
for e being expression of C holds variables_in e = (C variables_in e) . (a_Term C);