use synvert-core 0.6.2
do not use eval