Read and Write the model predicates as HashSet<String> in file