for fa being FinSeq-Location
for a, c being Int-Location holds InsCode ((fa,a) := c) = 10 ;