reverted to old build.sbt, getting iterative unit propagation working