Correct bug introduced when joined edges and nodes. In the uncorrected version, the edges with switched nodes where considered different for all types (included "="). Now it is correctly handled: Edges of type "=" are undirected and edges of type ">" and "+" are directed.
Correct bug introduced when joined edges and nodes. In the uncorrected version, the edges with switched nodes where considered different for all types (included "="). Now it is correctly handled: Edges of type "=" are undirected and edges of type ">" and "+" are directed.