I changed the name of the file containing predicates for lists manipulation