Fixescvc5/cvc5-projects#654.
Fixes include:
sygus-core-connective algorithm should be robust to candidates involving partial functions
sygus interpolation module should avoid repeated variables in input list
sygus interpolation default grammar construction should rely on the internal subsolver. in particular this ensures internal heuristics, e.g. sygus-add-const-grammar are leveraged.
