let
meet t1 t2 =
create
((get_flags t1)
lor
(get_flags t2))
(
V
.meet (get_v t1) (get_v t2))