v0.10.7 - fix corner cases dontCareNodes generation in backends - refractor signals.unused into signals.allowPruning - fix bugs that forget to add some sensitivity list elements in corner cases
v0.10.7 - fix corner cases dontCareNodes generation in backends - refractor signals.unused into signals.allowPruning - fix bugs that forget to add some sensitivity list elements in corner cases