method private restore_pred old_label x =
    current_label <- old_label;
    let x = match x.content with
      | Pnot x -> (* Pnot is used as a dummy unary construct *) x
      | _ -> assert false
    in x