for l being Nat holds UsedI*Loc (Goto l) = {}