import type { BasicQueryData } from '../../base-query-format';
import type { HappensBeforeQuery, HappensBeforeQueryResult } from './happens-before-query-format';
/**
 * Execute happens-before queries on the given analyzer.
 * This checks, whether for two given slicing criteria `a` and `b`, `a` happens before `b` in the control flow graph.
 */
export declare function executeHappensBefore({ analyzer }: BasicQueryData, queries: readonly HappensBeforeQuery[]): Promise<HappensBeforeQueryResult>;