Generating Dot files
dot complete
Dotgen
dotgen for updating guards
ltl texts
gv contains prop
added -bin-annot for merlin