Member predicate ConsistencyChecks::CfgViolation::toString

string toString()