Member predicate InstructionViolation::toString

string toString()