Function auxiliary_witness 

fn auxiliary_witness<F: Field>(next: &CairoInstruction<F>) -> [F; 15]