Updates coverage model

Bump ion-defs