let
is_inconsistent r =
(r =
Context
.
Status
.
Inconsistent
)