redex: syntax error fix for define-relation

please merge to the release branch