Relex2logic readme