Update Relex2Logic example description