Member predicate ConsistencyChecks::InstructionViolation::toString

string toString()