Work in progress on AADL to Sexp