let
disj p1 p2 =
Hlib
.separated (top_loc_term p1) (top_loc_term p2)