WYCS: profiling the solver rewrite rules, looking at which ones are really significant.