ivory-backend-aadl: add UnprintableThreadProperties to AST (basically comments)