for a being Int-Location
for l being Nat holds not Goto l destroys a