From 960c3069ed41e6f382e75293119c0b58d897f3c6 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Mon, 23 Jul 2018 12:48:43 -0400
Subject: [PATCH] Should fix issue #74.

---
 bin/deepstate/common.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index d545387..fe675b1 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -437,6 +437,7 @@ class DeepState(object):
       else:
         return
 
+    expr_ea = self.concretize(expr_ea, constrain=True)
     constraint = arg != 0
     if not self.add_constraint(constraint):
       expr, _ = self.read_c_string(expr_ea, concretize=False)