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