Merge pull request #77 from trailofbits/issue_74_concretize_expr_ea_assume

Should fix issue #74.

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)