Update relex-to-logic.scm
Merge pull request #1 from ruiting/patch-1

correct to-do-rule-5