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

query predicate instances(ThenStmt x, string getResult__label, Expr getResult) {
  toBeTested(x) and
  not x.isUnknown() and
  getResult__label = "getResult:" and
  getResult = x.getResult()
}