smt: ensure that all signals have a unique name (#1943)

* smt: add tests for assert name clashes

* smt: ensure unique signal names with a namespace

this fixes issues #1934