Optimizations in synonymifying.....