fn plan_symbolic_regression(
config: &Config,
regression: &SymbolicRegressionConfig,
artifact_path: &Path,
artifact: &SymbolicCounterexampleArtifact,
known_contracts: &ContractsByArtifact,
suffix: Option<&str>,
) -> Result<PlannedSymbolicRegression>