pub fn default_pipeline_with_options(
    options: &ProverOptions
) -> FunctionTargetPipeline