Ensure `Frame` instances are not tried before `frame_here`

2 jobs for !715 with linear-frame-priorities in 12 minutes and 52 seconds (queued for 5 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #135343
fp

00:12:10

passed build-coq.dev #135342
fp

00:11:26