for l being Nat
for f being FinSeq-Location holds not f in dom (Start-At (l,SCM+FSA))