overlaps conduit for x is a conduit for y iff y overlaps through the lumen_of of x, and y has parts on either side of the lumen of x.