why3 does not support coq 8.19

the coq realizations of Why3 theories do not compile with coq 8.19. There should be fixed while maintaining compatibility with former versions of Coq.