Added logging of redundant synonym removal