let mk_v_array_length term sz =
    let array_length = Hlib.array_length term in
    let eq =  D.F.p_eq array_length sz in
      eq