CIS687 Project 1 - Type Dependency Analysis - Spring 2013