In the same graph, generate - A of type X - B of type X Sometime A == B
In the same graph, generate
Sometime A == B