Predicate RangeAnalysis::isContradictoryGuardNode
Holds if the condition asserted at guard
is contradictory, that is, its condition always has the
opposite of the expected outcome.
Import path
import javascript
predicate isContradictoryGuardNode(ConditionGuardNode guard)