// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils

query predicate instances(WhereClause x) { toBeTested(x) and not x.isUnknown() }

query predicate getPredicate(WhereClause x, int index, WherePred getPredicate) {
  toBeTested(x) and not x.isUnknown() and getPredicate = x.getPredicate(index)
}