factor out the detection of self-conflicts into Dep::IsIgnorable