diff --git a/kernel/yosys_common.h b/kernel/yosys_common.h
index 92b107da9..1320505e7 100644
--- a/kernel/yosys_common.h
+++ b/kernel/yosys_common.h
@@ -368,6 +368,8 @@ RTLIL::IdString new_id_suffix(std::string file, int line, std::string func, std:
 	module->uniquify(cell_name.str() + "_" + suffix)
 #define NEW_MEM_ID_SUFFIX(suffix) \
 	mem.mem ? module->uniquify(mem.mem->name.str() + "_" + suffix) : module->uniquify(string("\\mem_") + suffix)
+#define NEW_ABC_ID \
+	module->uniquify(IdString("\\boolopt"))
 
 // Create a statically allocated IdString object, using for example ID::A or ID($add).
 //