the exists/forall solver failed: projection error

[rainoftime]

yices bc50beb

(set-logic LIA)
(declare-fun i0 () Int)
(assert (forall ((q22 Int)) (= q22 (abs i0))))
(check-sat)

*************************************************************
FATAL ERROR: the exists/forall solver failed: projection error
*************************************************************
Please report this bug to yices-bugs@csl.sri.com.
To help us diagnose this problem, please include the
following information in your bug report:

  Yices version: 2.6.2
  Build date: 2021-04-27
  Platform: x86_64-pc-linux-gnu (debug)

Thank you for your help.
*************************************************************

[BrunoDutertre]

Fixed in 8966461.