Internal contract violation when using `generate-term` that should satisfy a target judgement

I am currently trying to implement Featerweight Java in PLT Redex, and I am getting the following error:

[...]/generate-term.rkt:825:9: error: contract violation
  expected: (or/c string? symbol?)
  given: #<procedure:resolve-no-nts/pat>
  argument position: 1st
  other arguments...:

when calling

(generate-term FJ #:satisfying
                    (well-formed () (L P))
                    10)

It seems to work well when using just

(generate-term FJ (L P) 10)

so I would guess the issue is intrinsic to the #:satisfying form.

The complete code is available here in this Gist:
https://gist.github.com/ahmadsalim/e3b0359e8a81e89aa7089b9e82a52f09 .

Any idea on why this error occurs, and whether it is possible to fix it?

Thanks!

Run the complete reproduction from the linked Gist, then inspect generate-term.rkt around line 825 and trace the #:satisfying path that produces the contract violation. Done means the shown (generate-term FJ #:satisfying ...) call completes without the error while the ordinary generate-term form continues to work.