workaround for redex-check bug in racket 6.0.0.5

error msg:
  generate-term: #:i-th does not support "side-condition" patterns