let rec expand_summary_path = function
      ListPath l -> l
    | ConsPath (l1, l2) -> (expand_summary_path l1) @ (expand_summary_path l2)