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