diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index cf14333c..f65c87ff 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -511,6 +511,8 @@ class SmtIo:
     def net_expr(self, mod, base, path):
         if len(path) == 1:
             assert mod in self.modinfo
+            if path[0] in self.modinfo[mod].cells:
+                return "(|%s_h %s| %s)" % (mod, path[0], base)
             if path[0] in self.modinfo[mod].wsize:
                 return "(|%s_n %s| %s)" % (mod, path[0], base)
             if path[0] in self.modinfo[mod].memories: