Characteristic predicate ConsistencyChecks::DeadInstructionViolation::DeadInstructionViolation

DeadInstructionViolation()