added some error checking code for name space collisions between AGREE annex names and AADL model names