for f being FinSeq-Location
for S being State of SCM holds not f in dom S