let widen wh t1 t2 =
    create (get_flags t2) (V.widen wh (get_v t1) (get_v t2))