fabian/prod: links for ltl-parser