Predicate signature Make::Logic::guardChecksSig
Import path
import codeql.controlflow.Guardssignature predicate guardChecksSig(Guard g, Expr e, boolean branch)import codeql.controlflow.Guardssignature predicate guardChecksSig(Guard g, Expr e, boolean branch)