Tagged nabl-audit