analyser: check for unused local variables