The core of a analysis pass for CSE6142 Project 1, part 2