stitch: Reach invariant should not use paths through the public label
stitch: Reach invariant should not use paths through the public label

kklin/quilt,ejj/quilt-dev,stevenlin598/quilt,NetSys/quilt,kelda/kelda,kayousterhout/quilt,kayousterhout/quilt,stevenlin598/quilt,LuiseV/quilt,secant/quilt,mmussomele/quilt,kayousterhout/quilt,tejasmanohar/quilt,quilt/quilt,quilt/quilt,stevenlin598/quilt,ejj/quilt-dev,tejasmanohar/quilt,secant/quilt,secant/quilt,kklin/quilt,quilt/quilt,NetSys/quilt,secant/quilt,NetSys/quilt,NetSys/quilt,PenguinToast/quilt,kklin/kelda,kklin/quilt,kayousterhout/quilt,kklin/kelda,LuiseV/quilt,stevenlin598/quilt,mmussomele/quilt,ejj/quilt-dev,NetSys/quilt,mmussomele/quilt,PenguinToast/quilt,tejasmanohar/quilt,quilt/quilt,PenguinToast/quilt,mmussomele/quilt,mmussomele/quilt,mmussomele/quilt,tejasmanohar/quilt,LuiseV/quilt,kelda/kelda,kklin/kelda,PenguinToast/quilt,kklin/quilt,stevenlin598/quilt,secant/quilt,ejj/quilt-dev,kelda/kelda,kklin/kelda,LuiseV/quilt,stevenlin598/quilt,PenguinToast/quilt,kelda/kelda,LuiseV/quilt