unused import not always reported

[Christian Maeder]

Despite some changes in various parts of the cvs tree, the bug is still 
reproducable:

do the following (on a linux machine with a bash):

export 
CVSROOT=:pserver:cvsread at cvs-agbkb.informatik.uni-bremen.de:/repository

cvs checkout uni
cvs checkout HetCATS

cd uni
./configure
make boot
make all

cd ../HetCATS
make
make hetdg

./testUnusedImport.sh


I'll be in the weekend now.
Cheers Christian