Merge branch 'ci/robbert/issue288' into 'master'

Fix issue #288: iExists fails if goal after the existential quantifier is an evar

Closes #288

See merge request !372
5 jobs for master in 14 minutes and 22 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #55723
fp-timing
build-coq.8.10.2

00:06:39

passed #55722
fp
build-coq.8.11.0

00:09:20

passed #55725
fp
build-coq.8.8.2

00:07:13

passed #55724
fp
build-coq.8.9.1

00:07:43

passed #55721
fp
build-coq.dev

00:14:22