herd (diagram): do not remove transitivity edges of symetric relations.