a -> b -> c
      \
       > e -> c

a -> b -> d
\         ^
 \       /
  \> c -