for l being Nat holds UsedIntLoc (goto l) = {}