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.
So that we can print Kripke structure more nicely.
Maybe "k" should be enabled by default for Kripke structures in both dot and hoa.