Add constant synthesis to the Pass