* Update model to support code generation towards Ada