void setParamsSynthesis (const Params& parameters) { assert(false); }