Translate the first half of 'Static Analysis' chapter in Intro