Because they're referring to a symbol that needs to be updated because the prefix itself was updated, which implies they are part of the prefix  `{ type A = AIn } --(ASF)--> { type A' = Int }` implies `{ type A = AIn }#A --(ASF)--> { type A' = Int }#A'`. Not arguing with the logging. I'll add it tomorrow.