Module Core_extended.Appendable_list_unit_tests