Add Figure4 from "Effective Race Detection for Java"

Also addded a test harness so we can visualize the pointer variables.

See #47 and #48.