Removed unneeded import from datalog