ivory-backend-aadl: extend AST, prettyprinter to support Processes (thread collections)