Table completeness not working with enumerations
The problem comes from the fact that the translation to the SMT solver turns enums into integers without informing the SMT solver that only a restricted set of numbers is allowed.
Concreteley yields “Out of bounds exception”
(from redmine: issue id 2070, created on 2014-07-28, closed on 2017-01-30)