tower: unique names, now using AADL scope