import { LogFunction, Transformation, TransformationProperties } from '../transformation';
export declare class ControlFlowRecoverer extends Transformation {
    static readonly properties: TransformationProperties;
    /**
     * Executes the transformation.
     * @param log The log function.
     */
    execute(log: LogFunction): boolean;
}