add aadl syntax in k