Static Analysis door G. Ional Levi & Giorgio Levi