Ga(Db.x, Ee.x, Ef.x)
Db(Ga.x, Ec.x, Ed.x)
Ec(Db.y, nil, nil)
Ed(Db.z, nil, nil)
Ee(Ga.y, nil, nil)
Ef(Ga.z, nil, nil)


after:


Ga(Ee, Ef) >< Db(Ec, Ed)
Ec ~> Db.y
Ed ~> Db.z
Ee ~> Ga.y
Ef ~> Ga.z