* tests/mini/: remove dupes so can 'make datalog' with bddbddb