Links for PkgLTLGraphParser