method private _retract offset status new_statements new_history =
let cur_status = match history with s::_ -> s | [] -> assert false in
method private _retract offset status new_statements new_history =
let cur_status = match history with s::_ -> s | [] -> assert false in