alt-ergo
alt-ergo copied to clipboard
Merge enum
After refactoring both Enum and ADT theories, they shared most of
their implementation.
This PR merges Enum theory into ADT ones.
This PR is rebased on #1093