print_dot should support option "k" as in print_hoa
So that we can print Kripke structure more nicely.
Maybe "k" should be enabled by default for Kripke structures in both dot and hoa.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information