Add propagated clock signals into btor info file
Add propagated clock signals into btor info file

YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys