smt: ignore clock signals when converting to transition system (#1866)

If there is more than one clock, this will be detected and
the user will be promted to run the StutteringClock transform.

0 files changed, 0 insertions, 0 deletions