Updated V behavior and improved synthesis script
Zipped new submission