let to_list a =
  match a with
    | App(Pp(Mult), xl) -> xl
    | _ -> [a]