fabian/prod: links for ltl-graph-parser