for a being Int-Location
for l being Nat holds not goto l destroys a ;