for il being Int-Location
for dl being FinSeq-Location holds il <> dl