ltl_graph_parser
