Function assert_equal_local_state 

pub fn assert_equal_local_state<F: FieldWitness>(
    t1: &LocalState,
    t2: &LocalState,
    w: &mut Witness<F>,
)