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