Update relex-to-logic.scm