let empty_acc =
  { p_hyp = []; p_goal = []; p_both = []; p_cut = []; p_inv = [];
    a_goal = None; a_hyp = None; }