Add dispute file for oopsla12/HafizA12.