Merge series "drop unnecessary list_empty" from Julia Lawall <Julia.Lawall@inria...