Characteristic predicate ConsistencyChecks::DeadInstruction::DeadInstruction

DeadInstruction()