taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type Cannot analyze AADL specifications
