for a being Int-Location
for I being Program of SCM+FSA st not a in UsedILoc I holds
not I destroys a