Univ not correctly expanded in bounded #28
Description
Constant expression "UNIV" cannot be directly expanded to "UNIV" during translation since this will always contain the state atoms, so will never be true.
{{ message }}
Constant expression "UNIV" cannot be directly expanded to "UNIV" during translation since this will always contain the state atoms, so will never be true.