Predicate RangeAnalysis::linearComparison
Holds if the given comparison can be modeled as A <op> B + bias where <op> is the comparison operator,
and A is a * asign and likewise B is b * bsign.
Import path
import semmle.javascript.RangeAnalysispredicate linearComparison(Comparison comparison, Node a, int asign, Node b, int bsign, Bias bias)