added support for calling a synthesis function in body of a define-fun in synthesis solver
Merge branch 'master' of https://github.com/rishabhs/sygus-comp14