diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 36ef1f971..2e3fabf9a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3236,8 +3236,8 @@ struct VerificPass : public Pass {
 			Message::SetConsoleOutput(0);
 			Message::RegisterCallBackMsg(msg_func);
 
-			// RuntimeFlags::SetVar("db_preserve_user_instances", 1); // SILIMATE: comment out to improve optimization
-			// RuntimeFlags::SetVar("db_preserve_user_nets", 1); // SILIMATE: comment out to improve optimization
+			RuntimeFlags::SetVar("db_preserve_user_instances", 1);
+			RuntimeFlags::SetVar("db_preserve_user_nets", 1);
 			// RuntimeFlags::SetVar("db_preserve_x", 1); // SILIMATE: comment out to improve optimization
 
 			RuntimeFlags::SetVar("db_merge_cascaded_muxes", 1); // SILIMATE: add to improve optimization