diff --git a/parent/commons/src/test/scala/com/tribbloids/spookystuff/utils/classpath/ClasspathResolverSpec.scala b/parent/commons/src/test/scala/com/tribbloids/spookystuff/utils/classpath/ClasspathResolverSpec.scala
index 39226d18e..62bb8743b 100644
--- a/parent/commons/src/test/scala/com/tribbloids/spookystuff/utils/classpath/ClasspathResolverSpec.scala
+++ b/parent/commons/src/test/scala/com/tribbloids/spookystuff/utils/classpath/ClasspathResolverSpec.scala
@@ -2,7 +2,6 @@ package com.tribbloids.spookystuff.utils.classpath
 
 import ai.acyclic.prover.commons.spark.Envs
 import com.tribbloids.spookystuff.utils.io.{LocalResolver, WriteMode}
-import com.tribbloids.spookystuff.utils.CommonUtils
 import org.scalatest.funspec.AnyFunSpec
 
 import java.io.File
diff --git a/parent/core/src/main/scala/com/tribbloids/spookystuff/caching/ExploreLocalCache.scala b/parent/core/src/main/scala/com/tribbloids/spookystuff/caching/ExploreLocalCache.scala
index bbd658c0d..39a7c21f2 100644
--- a/parent/core/src/main/scala/com/tribbloids/spookystuff/caching/ExploreLocalCache.scala
+++ b/parent/core/src/main/scala/com/tribbloids/spookystuff/caching/ExploreLocalCache.scala
@@ -31,8 +31,8 @@ object ExploreLocalCache {
   }
 
   def commitVisited(
-                     v: ExploreRunner,
-                     reducer: DataRow.Reducer
+      v: ExploreRunner,
+      reducer: DataRow.Reducer
   ): Unit = {
 
     // TODO relax synchronized check to accelerate?
diff --git a/parent/core/src/main/scala/com/tribbloids/spookystuff/row/DeltaRowLike.scala b/parent/core/src/main/scala/com/tribbloids/spookystuff/row/DeltaRowLike.scala
index 0b67dc7ae..7d52ab4f5 100644
--- a/parent/core/src/main/scala/com/tribbloids/spookystuff/row/DeltaRowLike.scala
+++ b/parent/core/src/main/scala/com/tribbloids/spookystuff/row/DeltaRowLike.scala
@@ -4,8 +4,6 @@ import com.tribbloids.spookystuff.SpookyContext
 import com.tribbloids.spookystuff.execution.Delta
 import com.tribbloids.spookystuff.utils.serialization.NOTSerializable
 
-import scala.language.implicitConversions
-
 object DeltaRowLike {
 
   case class SrcRow(