Revert "Synthesis lib"

This reverts commit 820a96591d845f1246216fec50eb4700885d4669.