do not use varinfos in external assoc list for ACSL extensions

Especially if there is a copy visitor that operates between the time
when the table is filled and when it is used. Integrity of the new AST will
suffer...