A : B | D *common* D.
B : E | G.
D = A.
E = .
F : A.
G : F.


// Notice the cycle from class F to class A 
// to class B to class G to class F