fixing some printing issues and added special exclusions for synthesis