Clear RegehrCCEEY12 (PLDI '12).
Merge pull request #19 from ckennelly/master

Clear RegehrCCEEY12 (PLDI '12).