upgrade scala, libraries, sbt
implement depth first traverser
finding loop heads