Merge pull request #3519 from ekliptik/master

smt2/smtbmc: Fix mathsat counterexample VCD dump crash

backends/smt2/smtio.py

@@ -920,7 +920,7 @@ class SmtIo:
         if len(expr_list) == 0:
             return []
         self.write("(get-value (%s))" % " ".join(expr_list))
-        return [n[1] for n in self.parse(self.read())]
+        return [n[1] for n in self.parse(self.read()) if n]
 
     def get_path(self, mod, path):
         assert mod in self.modinfo