Function with_formatted_args 

fn with_formatted_args(
    call: SymbolicCounterexampleCall,
    args: &[DynSolValue],
) -> SymbolicCounterexampleCall