Module Core_list_unit_tests