A value that represents match or non-match against a specific case statement.
Holds if taking the s branch out of cfe implies that e has this value.
Gets the case statement.
Holds if this value represents a match.
Gets a textual representation of this abstract value.