for aa, bb being Int-Location
for f being FinSeq-Location holds {aa,bb} c= UsedILoc (swap (f,aa,bb))