An expression that directly tests whether a given expression is equal to
k or not.
The set of
ks is restricted to those that are relevant for the expression or
have a direct comparison with the expression.
result evaluates to
e is guaranteed to be equal to
is true, and different from
is_k is false.