diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 3bac3efb..4aa9b567 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -31,7 +31,7 @@ import logging
 
 log = logging.getLogger(__name__)
 
-DISABLE_EFFECT_CHECK = True
+DISABLE_EFFECT_CHECK = False
 
 
 class OverUnderflowAnnotation: