Function write_call 

fn write_call(
    out: &mut String,
    call: &SymbolicCounterexampleCall,
    target: &str,
    bubble_failure: bool,
    sequence_call_index: Option<usize>,
) -> Result<()>