Predicate signature guardChecksSig
Holds if the guard g validates node upon evaluating to branch.
Import path
import semmle.python.dataflow.new.internal.DataFlowPublicsignature predicate guardChecksSig(GuardNode g, ControlFlowNode node, boolean branch)