for S being COM-Struct
for I being Program of S holds 0 in dom (stop I) by AFINSQ_1:66;