ivory-tower: annotate Labeled edges with user & code annotations
ivory-tower-aadl: expand thread and port properties