Update relex2logic-rules.txt