UCYBDBccg: client deletion does not clean up HACL