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

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

00:07:53

passed build-coq.dev #135355
fp

00:07:34