REF: extract as function `_synthesize`
REF: extract as function `_synthesize`

to be called from within the function `synthesize_many`.
Thus, avoid duplication of code that selects among
different solvers.

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control