Adding two interprocedural analysis files from Alex.
git seems to really want to commit this file, though nothing changed.
Wrote pipair wrapper script that properly wraps the Java application. We currently pass 4/6 tests. I'm looking into test3 currently.