Links for ltl-augmentation