Oh yes you're right. Each declaration has a type attached(see abstractType()). Then it would probably be better to redeclare the declaration with another type, if the type differs. The du-chain can handle any count of declarations for an identifier. So you could simply always use the last delcaration found. greetings, David