Predicate Sem::implies_v2
Import path
import semmle.code.java.dataflow.RangeAnalysispredicate implies_v2(Guard g1, boolean b1, Guard g2, boolean b2)import semmle.code.java.dataflow.RangeAnalysispredicate implies_v2(Guard g1, boolean b1, Guard g2, boolean b2)