let add_int_format_hyp vformat t h = match int_format_for_hyp t with
    | None -> h
    | Some fmt ->
        let h_format =  F.p_eq vformat fmt in
          F.p_and h_format h