PhaseIdealLoop::dominated_by() has this logic:

if (exclude_loop_predicate && (unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_predicate) != NULL ||
    unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_profile_predicate) != NULL ||
    unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_range_check) != NULL)) {

while IfNode::dominated_by() has:

if (unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_predicate) != NULL ||
    unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_profile_predicate) != NULL) {

The 2 should match I think.