Add constant synthesis