Fixed endless recursion when finding transitive enclosure of AADL model.