Constant synthesis algorithm development

[XiangyuG]

When running benchmarks, we found that large constant appearing in the program will increase the synthesis time a lot. We should think about better algos to deal with these large constants (together with Divya and Aarti)