adbc abc
a eq a -> 1
d ne b ->
c eq c <- 2
b eq b <- 3
d ne a <-