From 10113dfc1f1132a260517d25a8a949cfcc01e421 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Can=20B=C3=B6l=C3=BCk?= <can.boluk89@gmail.com>
Date: Sat, 1 Aug 2020 21:33:21 +0200
Subject: [PATCH] Comment out some logic for now.

---
 VTIL-SymEx/simplifier/simplifier.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/VTIL-SymEx/simplifier/simplifier.cpp b/VTIL-SymEx/simplifier/simplifier.cpp
index f17c970..7afce92 100644
--- a/VTIL-SymEx/simplifier/simplifier.cpp
+++ b/VTIL-SymEx/simplifier/simplifier.cpp
@@ -123,7 +123,8 @@ namespace vtil::symbolic
 					// Skip if not improving the result.
 					//
 					int64_t sdiff = ( *self )->depth - ( *other )->depth;
-					if ( sdiff < 0 )
+					//if ( sdiff < 0 )
+					if( sdiff != 0  )
 						return false;
 					if ( sigscan->match && sdiff > sigscan->diff )
 						return false;
@@ -139,12 +140,13 @@ namespace vtil::symbolic
 					{
 						// If matching signature, save the match, steal full value from the reference to the key.
 						//
-						if ( auto vec = ( *other )->match_to( **self, false ) )
+						if ( auto vec = ( *other )->match_to( **self, /*false*/ true ) )
 						{
 							sigscan->table = std::move( *vec );
 							using kv_pair = std::pair<const expression::reference, cache_value>;
 							sigscan->match = &( ( kv_pair* ) other )->second;
 							sigscan->diff = sdiff;
+							sigscan = nullptr;
 						}
 					}
 					return false;