pins2lts-sym should also load and store guards

[Meijuh]

Currently pins2lts-sym can only store and load the transition relation from a file. Guards should also be stored and loaded. E.g. the vector sets guard_false and guard_true should be loaded and saved from a file.