Adds edge to inclusion diagram for symmetry.