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