add_types: only re-enable double-write check if it was previously enabled
+ 2
− 1
@@ -954,6 +954,7 @@ def add_types(eqs, type_for_symbol, check_independence_condition):
@@ -961,7 +962,7 @@ def add_types(eqs, type_for_symbol, check_independence_condition):