Function transition_witness 

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