Draft: ensure `Frame` instances are not tried before `frame_here`

2 jobs for !715 with linear-frame-priorities in 19 minutes and 10 seconds (queued for 7 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #135169
fp

00:10:45

passed build-coq.dev #135168
fp

00:19:10