Update links to issues for basic Relex2Logic example