 All of the  3-points have no children.  (Point 3d is not reached from any other point, but the arrows into a node are of no interest.)    So every relation which only relates 3-points is a bisimulation  on G. Concretely,  