diff --git a/lib/trusty/uctx.c b/lib/trusty/uctx.c
index b3a775f..abd6ed1 100644
--- a/lib/trusty/uctx.c
+++ b/lib/trusty/uctx.c
@@ -732,6 +732,7 @@
             free(ref);
         }
     }
+    ASSERT(del_cnt <= 1);
     return del_cnt ? NO_ERROR : ERR_NOT_FOUND;
 }
 
@@ -751,6 +752,7 @@
             handle_set_update_ref(ref, emask, cookie);
         }
     }
+    ASSERT(mod_cnt <= 1);
     return mod_cnt ? NO_ERROR : ERR_NOT_FOUND;
 }