for S being COM-Struct
for I being Program of S holds LastLoc (stop I) = card I