Property based testing over my_lists:sum/1