Clear OliveiraSCLY12 (PLDI '12) (with warnings & small patch)
Merge pull request #13 from Blaisorblade/clearOliveiraSCLY12

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