Simplification in the Relation.digraph function.