> Before
a -> b
a -> c
b -> c
> After
a -> b
a -> c
