testing synthesis bugs