Characteristic predicate ConsistencyChecks::BranchWithoutTarget::BranchWithoutTarget

BranchWithoutTarget()