Tagged nabl-certificates