Moved project to Scala 2.10.2
Allow interprocedural analysis from GUI with top domain.
Add a @todo
Add scaladoc comments
Change test names