make Result.usedByNonDoomedNode() more efficient