remove redundant synthesis code