Synvert.convert_code converts rewriter snippet properly