Static Analysis of Scala Programs - A Concept