Member predicate ConsistencyChecks::InstructionViolation::getInstruction

Gets the instruction containing the violation.

Instruction getInstruction()