Clear OliveiraSCLY12 (PLDI '12) (with warnings & small patch)