Predicate consistencyIssue
Holds if there is a consistency-issue at location with description msg for configuration conf.
The consistency issue an unexpected false positive/negative.
Or that false positive/negative was expected, and none were found.
Import path
import utils.test.ConsistencyCheckingpredicate consistencyIssue(string location, string msg, string commentText, Conf conf)