Integrates synthesis updates into master
I prefer to have this patch set on master instead of dev/add-transition (this is an independant feature and we start to work on this on master) I'll push an updated version of dev/add-transition that is built on top of that.