This may be a bit overkill in some situations, but it is required in order to
have the "this symbol is defined here and used there" feature working without
forcing the user to modify a file after having opened it to see the "imported" symbols.