Predicate ConsistencyChecks::consistencyFailure

Holds if element e has a consistency failure, as described by the message in m.

predicate consistencyFailure(Element e, string m)