Change the definition of [has_disjoint_siblings].

2 jobs for ci/allocstack in 18 minutes and 3 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0 #121341
fp

00:18:03

passed check-generated #121342
fp

00:05:01