Clear RegehrCCEEY12 (PLDI '12).