mv some entries verification_synthesis -> static_analysis