Add dispute file for pldi12/RegehrCCEEY12.