Interprocedural Static Analysis Engine for Scala